Details

Time bar (total: 8.3s)

sample31.0ms

Algorithm
intervals
Results
8.0ms256×body80valid
8.0ms258×body80nan

simplify22.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01114
12112
23112
33712
43912
done3912

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.8b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(* x (+ y z))
2.4b
(+ (* y z) (* x (+ y z)))
21.6b
(sqrt (+ (* y z) (* x (+ y z))))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
8×*-un-lft-identity
6×pow1 add-cube-cbrt
5×add-exp-log add-cbrt-cube add-log-exp
4×associate-*r*
3×flip3-+ associate-*l* sqrt-prod flip-+
2×distribute-rgt-in associate-+r+ distribute-lft-in sqrt-div associate-*r/
1×+-commutative rem-sqrt-square sqrt-pow1 pow1/2 pow-prod-down prod-exp sum-log *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
3 → 51
Calls
3 calls:
9.0ms
(* x (+ y z))
3.0ms
(+ (* y z) (* x (+ y z)))
3.0ms
(sqrt (+ (* y z) (* x (+ y z))))

series155.0ms

Counts
3 → 9
Calls
3 calls:
27.0ms
(* x (+ y z))
20.0ms
(+ (* y z) (* x (+ y z)))
107.0ms
(sqrt (+ (* y z) (* x (+ y z))))

simplify1.6s

Counts
60 → 60
Iterations

Useful iterations: done (1.6s)

IterNodesCost
0102723
1270648
2793606
32604602
done5000599

prune144.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 22.8b

localize11.0ms

Local error

Found 4 expressions with local error:

2.4b
(+ (* y z) (* x (+ y z)))
2.4b
(+ (* y z) (* x (+ y z)))
21.6b
(sqrt (+ (* y z) (* x (+ y z))))
21.6b
(sqrt (+ (* y z) (* x (+ y z))))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-log-exp
6×pow1 add-cube-cbrt *-un-lft-identity sqrt-prod
4×add-exp-log associate-+r+ flip3-+ sqrt-div add-cbrt-cube flip-+
2×+-commutative distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 sum-log
Counts
4 → 56
Calls
4 calls:
3.0ms
(+ (* y z) (* x (+ y z)))
3.0ms
(+ (* y z) (* x (+ y z)))
3.0ms
(sqrt (+ (* y z) (* x (+ y z))))
3.0ms
(sqrt (+ (* y z) (* x (+ y z))))

series260.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(+ (* y z) (* x (+ y z)))
20.0ms
(+ (* y z) (* x (+ y z)))
108.0ms
(sqrt (+ (* y z) (* x (+ y z))))
107.0ms
(sqrt (+ (* y z) (* x (+ y z))))

simplify1.2s

Counts
68 → 68
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0681058
1181950
2577886
32139878
done5001872

prune228.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 22.8b

localize12.0ms

Local error

Found 4 expressions with local error:

16.1b
(cbrt (* x (+ y z)))
16.1b
(cbrt (* x (+ y z)))
16.1b
(cbrt (* x (+ y z)))
21.6b
(sqrt (+ (* y z) (* (* (cbrt (* x (+ y z))) (cbrt (* x (+ y z)))) (cbrt (* x (+ y z))))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt cbrt-div associate-*r/
5×pow1 add-cube-cbrt *-un-lft-identity
4×add-exp-log flip3-+ add-cbrt-cube flip-+ add-log-exp
3×cbrt-prod pow1/3 sqrt-prod
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 48
Calls
4 calls:
3.0ms
(cbrt (* x (+ y z)))
3.0ms
(cbrt (* x (+ y z)))
3.0ms
(cbrt (* x (+ y z)))
3.0ms
(sqrt (+ (* y z) (* (* (cbrt (* x (+ y z))) (cbrt (* x (+ y z)))) (cbrt (* x (+ y z))))))

series436.0ms

Counts
4 → 12
Calls
4 calls:
107.0ms
(cbrt (* x (+ y z)))
109.0ms
(cbrt (* x (+ y z)))
112.0ms
(cbrt (* x (+ y z)))
108.0ms
(sqrt (+ (* y z) (* (* (cbrt (* x (+ y z))) (cbrt (* x (+ y z)))) (cbrt (* x (+ y z))))))

simplify952.0ms

Counts
60 → 60
Iterations

Useful iterations: done (950.0ms)

IterNodesCost
01011078
1257984
2615622
31736608
done5002602

prune231.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 22.8b

localize18.0ms

Local error

Found 4 expressions with local error:

2.4b
(+ (* y z) (* x (+ y z)))
21.6b
(sqrt (+ (* y z) (* x (+ y z))))
22.2b
(cbrt (+ (* y z) (* x (+ y z))))
22.2b
(cbrt (+ (* y z) (* x (+ y z))))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
7×add-cube-cbrt *-un-lft-identity
6×cbrt-prod add-log-exp
5×pow1
4×add-exp-log cbrt-div flip3-+ add-cbrt-cube flip-+
3×sqrt-prod
2×associate-+r+ pow1/3 sqrt-div
1×+-commutative distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 sum-log
Counts
4 → 54
Calls
4 calls:
3.0ms
(+ (* y z) (* x (+ y z)))
3.0ms
(sqrt (+ (* y z) (* x (+ y z))))
2.0ms
(cbrt (+ (* y z) (* x (+ y z))))
2.0ms
(cbrt (+ (* y z) (* x (+ y z))))

series562.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(+ (* y z) (* x (+ y z)))
110.0ms
(sqrt (+ (* y z) (* x (+ y z))))
213.0ms
(cbrt (+ (* y z) (* x (+ y z))))
218.0ms
(cbrt (+ (* y z) (* x (+ y z))))

simplify1.2s

Counts
66 → 66
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01011095
12531023
2711949
32449935
done5001932

prune294.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 22.8b

regimes92.0ms

Accuracy

0% (0.0b remaining)

Error of 20.8b against oracle of 20.8b and baseline of 20.8b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01012
11512
done1512

end0.0ms

sample832.0ms

Algorithm
intervals
Results
266.0ms8000×body80valid
252.0ms7776×body80nan