Details

Time bar (total: 18.1s)

sample26.0ms

Algorithm
intervals
Results
9.0ms319×body80valid

simplify74.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
077
1117
2247
3467
4637
5677
done677

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.9b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(- 1.0 (* y z))
3.7b
(* x (- 1.0 (* y z)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
3×sub-neg associate-*r* associate-*l*
2×distribute-rgt-in flip3-- distribute-lft-in associate-*r/ flip--
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 36
Calls
2 calls:
8.0ms
(- 1.0 (* y z))
29.0ms
(* x (- 1.0 (* y z)))

series119.0ms

Counts
2 → 6
Calls
2 calls:
42.0ms
(- 1.0 (* y z))
77.0ms
(* x (- 1.0 (* y z)))

simplify1.7s

Counts
42 → 42
Iterations

Useful iterations: 2 (72.0ms)

IterNodesCost
060399
1144391
2389349
31303349
done5001349

prune106.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.7b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x 1.0) (* (- (* y z)) x))
6.0b
(* (- (* y z)) x)

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt associate-*l*
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
3×distribute-lft-neg-out associate-*r*
1×+-commutative distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in flip3-+ unsub-neg pow-prod-down prod-exp sum-log *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
2 → 35
Calls
2 calls:
8.0ms
(+ (* x 1.0) (* (- (* y z)) x))
11.0ms
(* (- (* y z)) x)

series121.0ms

Counts
2 → 6
Calls
2 calls:
84.0ms
(+ (* x 1.0) (* (- (* y z)) x))
36.0ms
(* (- (* y z)) x)

simplify6.7s

Counts
41 → 41
Iterations

Useful iterations: done (6.7s)

IterNodesCost
066415
1177375
2822318
34596313
done5001311

prune158.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (* (cbrt (- (* y z))) (cbrt (- (* y z)))) (* (cbrt (- (* y z))) x))
11.3b
(cbrt (- (* y z)))
11.3b
(cbrt (- (* y z)))
11.3b
(cbrt (- (* y z)))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-prod
16×pow1 add-exp-log
10×add-cbrt-cube
8×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×distribute-lft-neg-in neg-mul-1 distribute-rgt-neg-in pow1/3
1×associate-*r* associate-*l* *-commutative
Counts
4 → 64
Calls
4 calls:
85.0ms
(* (* (cbrt (- (* y z))) (cbrt (- (* y z)))) (* (cbrt (- (* y z))) x))
2.0ms
(cbrt (- (* y z)))
2.0ms
(cbrt (- (* y z)))
2.0ms
(cbrt (- (* y z)))

series581.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(* (* (cbrt (- (* y z))) (cbrt (- (* y z)))) (* (cbrt (- (* y z))) x))
156.0ms
(cbrt (- (* y z)))
182.0ms
(cbrt (- (* y z)))
130.0ms
(cbrt (- (* y z)))

simplify3.5s

Counts
76 → 76
Iterations

Useful iterations: done (3.5s)

IterNodesCost
0861029
1205991
2733677
32688571
done5000547

prune300.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- z))
1.0b
(* (* (cbrt (- (* y z))) (cbrt (- (* y z)))) (* (* (cbrt y) (cbrt (- z))) x))
11.3b
(cbrt (- (* y z)))
11.3b
(cbrt (- (* y z)))

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-exp-log
22×cbrt-prod
15×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
5×distribute-lft-neg-in distribute-rgt-neg-in
4×add-log-exp
3×neg-mul-1 pow1/3
1×associate-*r* associate-*l* *-commutative
Counts
4 → 74
Calls
4 calls:
4.0ms
(cbrt (- z))
163.0ms
(* (* (cbrt (- (* y z))) (cbrt (- (* y z)))) (* (* (cbrt y) (cbrt (- z))) x))
4.0ms
(cbrt (- (* y z)))
5.0ms
(cbrt (- (* y z)))

series740.0ms

Counts
4 → 12
Calls
4 calls:
340.0ms
(cbrt (- z))
105.0ms
(* (* (cbrt (- (* y z))) (cbrt (- (* y z)))) (* (* (cbrt y) (cbrt (- z))) x))
174.0ms
(cbrt (- (* y z)))
121.0ms
(cbrt (- (* y z)))

simplify1.9s

Counts
86 → 86
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01261218
12931163
21165953
done5001903

prune446.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes315.0ms

Accuracy

94.6% (0.2b remaining)

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

bsearch3.0ms

simplify20.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
01942
14033
25033
35233
done5233

end0.0ms

sample878.0ms

Algorithm
intervals
Results
342.0ms9608×body80valid