Details

Time bar (total: 15.1s)

sample24.0ms

Algorithm
intervals
Results
11.0ms339×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
done5000
112690
10948
9413
8213
7113
678
562
447
332
218
111
07

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.4b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (* y (- z x)))
0.0b
(* y (- z x))
11.5b
(/ (+ x (* y (- z x))) z)

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×*-un-lft-identity
13×add-cube-cbrt
9×times-frac
7×add-cbrt-cube add-exp-log
5×pow1 associate-*r* add-log-exp
4×distribute-rgt-in associate-+r+ sub-neg distribute-lft-in
3×associate-/r* associate-*l* associate-/l*
2×flip3-+ associate-*r/ flip-+ associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg flip3-- div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 70
Calls
3 calls:
8.0ms
(+ x (* y (- z x)))
20.0ms
(* y (- z x))
19.0ms
(/ (+ x (* y (- z x))) z)

series135.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(+ x (* y (- z x)))
47.0ms
(* y (- z x))
52.0ms
(/ (+ x (* y (- z x))) z)

simplify2.1s

Counts
79 → 79
Iterations
IterNodes
done5001
33398
2753
1271
0116

prune411.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ y (- (/ x z) (* y (/ x z))))
0.0b
(- (/ x z) (* y (/ x z)))
3.2b
(* y (/ x z))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt *-un-lft-identity
13×associate-*r*
11×times-frac add-cube-cbrt
10×add-log-exp
8×add-cbrt-cube add-exp-log
5×pow1
3×associate-*l* associate-*r/
2×associate-+r+ sum-log sub-neg distribute-rgt-out-- diff-log prod-exp cbrt-unprod unswap-sqr
1×cbrt-undiv +-commutative associate-+r- flip3-+ flip3-- div-exp pow-prod-down *-commutative frac-sub flip-+ div-inv flip-- distribute-lft-out sub-div
Counts
3 → 64
Calls
3 calls:
27.0ms
(+ y (- (/ x z) (* y (/ x z))))
24.0ms
(- (/ x z) (* y (/ x z)))
16.0ms
(* y (/ x z))

series97.0ms

Counts
3 → 9
Calls
3 calls:
32.0ms
(+ y (- (/ x z) (* y (/ x z))))
44.0ms
(- (/ x z) (* y (/ x z)))
21.0ms
(* y (/ x z))

simplify1.1s

Counts
73 → 73
Iterations
IterNodes
done5017
21032
1306
0118

prune289.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

1.7b
(* y (* (cbrt (/ x z)) (cbrt (/ x z))))
9.7b
(cbrt (/ x z))
9.7b
(cbrt (/ x z))
9.7b
(cbrt (/ x z))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
27×add-sqr-sqrt times-frac
26×*-un-lft-identity add-cube-cbrt
9×pow1 add-exp-log
7×cbrt-div add-cbrt-cube
4×associate-*r/ add-log-exp
3×pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod div-inv
1×frac-times associate-*r* associate-*l/ *-commutative unswap-sqr
Counts
4 → 88
Calls
4 calls:
56.0ms
(* y (* (cbrt (/ x z)) (cbrt (/ x z))))
3.0ms
(cbrt (/ x z))
3.0ms
(cbrt (/ x z))
4.0ms
(cbrt (/ x z))

series389.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(* y (* (cbrt (/ x z)) (cbrt (/ x z))))
97.0ms
(cbrt (/ x z))
90.0ms
(cbrt (/ x z))
90.0ms
(cbrt (/ x z))

simplify2.1s

Counts
100 → 100
Iterations
IterNodes
done5000
43004
31129
2512
1239
0127

prune472.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(cbrt z)
4.6b
(* (/ (/ y (cbrt z)) (cbrt z)) (/ x (cbrt z)))

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
302×times-frac
229×add-sqr-sqrt
160×cbrt-prod
143×*-un-lft-identity add-cube-cbrt
136×associate-*l*
25×add-exp-log
22×associate-*r*
21×unswap-sqr
16×add-cbrt-cube
9×cbrt-undiv div-exp
8×div-inv
6×pow1 prod-exp cbrt-unprod
4×add-log-exp
3×pow1/3
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 236
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
138.0ms
(* (/ (/ y (cbrt z)) (cbrt z)) (/ x (cbrt z)))

series898.0ms

Counts
4 → 12
Calls
4 calls:
282.0ms
(cbrt z)
277.0ms
(cbrt z)
259.0ms
(cbrt z)
79.0ms
(* (/ (/ y (cbrt z)) (cbrt z)) (/ x (cbrt z)))

simplify1.5s

Counts
248 → 248
Iterations
IterNodes
done5000
23608
1943
0282

prune1.6s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

regimes235.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done9
19
07

end0.0ms

sample1.2s

Algorithm
intervals
Results
899.0ms10121×body80valid