Details

Time bar (total: 25.3s)

sample346.0ms

Algorithm
intervals
Results
185.0ms1861×body80nan
72.0ms256×body80valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
131353
121353
111316
101062
9853
8603
7354
6220
5156
4121
378
249
125
010

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 1 expressions with local error:

0.0b
(acos (/ (- (+ (+ x y) z) 1) 2))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
acos-asin add-sqr-sqrt pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 add-log-exp
Counts
1 → 9
Calls
1 calls:
48.0ms
(acos (/ (- (+ (+ x y) z) 1) 2))

series7.0ms

Counts
1 → 3
Calls
1 calls:
7.0ms
(acos (/ (- (+ (+ x y) z) 1) 2))

simplify2.8s

Counts
12 → 12
Iterations
IterNodes
72174
61416
5987
4599
3299
2139
158
031

prune158.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.1b
(cbrt (acos (/ (- (+ (+ x y) z) 1) 2)))
0.1b
(cbrt (acos (/ (- (+ (+ x y) z) 1) 2)))
0.1b
(cbrt (acos (/ (- (+ (+ x y) z) 1) 2)))
0.9b
(* (cbrt (acos (/ (- (+ (+ x y) z) 1) 2))) (cbrt (acos (/ (- (+ (+ x y) z) 1) 2))))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
pow1/3
swap-sqr associate-*r* associate-*l* add-exp-log
add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
pow-prod-down pow-sqr pow-prod-up
pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 77
Calls
4 calls:
2.0ms
(cbrt (acos (/ (- (+ (+ x y) z) 1) 2)))
2.0ms
(cbrt (acos (/ (- (+ (+ x y) z) 1) 2)))
2.0ms
(cbrt (acos (/ (- (+ (+ x y) z) 1) 2)))
18.0ms
(* (cbrt (acos (/ (- (+ (+ x y) z) 1) 2))) (cbrt (acos (/ (- (+ (+ x y) z) 1) 2))))

series358.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(cbrt (acos (/ (- (+ (+ x y) z) 1) 2)))
87.0ms
(cbrt (acos (/ (- (+ (+ x y) z) 1) 2)))
80.0ms
(cbrt (acos (/ (- (+ (+ x y) z) 1) 2)))
111.0ms
(* (cbrt (acos (/ (- (+ (+ x y) z) 1) 2))) (cbrt (acos (/ (- (+ (+ x y) z) 1) 2))))

simplify3.8s

Counts
89 → 89
Iterations
IterNodes
54553
41734
3814
2371
1155
069

prune1.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes523.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
214
114
010

end0.0ms

sample12.6s

Algorithm
intervals
Results
7.6s55680×body80nan
2.1s8000×body80valid