Details

Time bar (total: 16.8s)

sample290.0ms

Algorithm
intervals
Results
164.0ms108×body1280valid
52.0ms78×body640valid
30.0ms13×body2560valid
12.0ms29×body320valid
6.0ms18×body160valid
1.0ms10×body80valid

simplify5.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
066
176
done76

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.8b

localize19.0ms

Local error

Found 2 expressions with local error:

0.1b
(* (cos x) (cos y))
1.6b
(acos (* (cos x) (cos y)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt
pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
associate-*r* associate-*l*
add-log-exp
acos-asin pow-prod-down prod-exp cos-mult *-commutative cbrt-unprod unswap-sqr
Counts
2 → 27
Calls
2 calls:
20.0ms
(* (cos x) (cos y))
3.0ms
(acos (* (cos x) (cos y)))

series110.0ms

Counts
2 → 6
Calls
2 calls:
106.0ms
(* (cos x) (cos y))
4.0ms
(acos (* (cos x) (cos y)))

simplify2.9s

Counts
33 → 33
Iterations

Useful iterations: 3 (591.0ms)

IterNodesCost
058269
1113264
2382234
32293232
done5001232

prune214.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 13.7b

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (cos x) (cos y))
0.2b
(exp (log (acos (* (cos x) (cos y)))))
0.5b
(log (acos (* (cos x) (cos y))))
1.6b
(acos (* (cos x) (cos y)))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
*-un-lft-identity add-cube-cbrt
pow1
add-exp-log
log-prod add-cbrt-cube
exp-prod add-log-exp
associate-*r* associate-*l* exp-sum
log-pow
acos-asin rem-log-exp pow-prod-down prod-exp cos-mult *-commutative cbrt-unprod unswap-sqr rem-exp-log
Counts
4 → 54
Calls
4 calls:
22.0ms
(* (cos x) (cos y))
6.0ms
(exp (log (acos (* (cos x) (cos y)))))
2.0ms
(log (acos (* (cos x) (cos y))))
3.0ms
(acos (* (cos x) (cos y)))

series133.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(* (cos x) (cos y))
14.0ms
(exp (log (acos (* (cos x) (cos y)))))
39.0ms
(log (acos (* (cos x) (cos y))))
4.0ms
(acos (* (cos x) (cos y)))

simplify3.3s

Counts
66 → 66
Iterations

Useful iterations: done (3.3s)

IterNodesCost
084620
1155578
2460502
32469502
done5000496

prune372.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 13.7b

regimes521.0ms

Accuracy

0% (0.2b remaining)

Error of 14.9b against oracle of 14.7b and baseline of 14.9b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01010
11110
done1110

end0.0ms

sample8.8s

Algorithm
intervals
Results
4.3s3373×body1280valid
2.1s2370×body640valid
818.0ms314×body2560valid
755.0ms1057×body320valid
152.0ms508×body160valid
70.0ms378×body80valid