Details

Time bar (total: 10.5s)

sample31.0ms

Algorithm
intervals
Results
11.0ms344×body80valid

simplify153.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
089
1167
2367
3797
41227
51347
61367
done1367

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.7b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(* y (- x z))
5.5b
(* (* y (- x z)) t)

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
19×*-un-lft-identity
18×prod-diff
17×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
9×pow1 add-exp-log add-cbrt-cube
8×associate-*r*
4×associate-*r/ associate-*l* pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u sub-neg flip3-- associate-*l/ *-commutative flip-- log1p-expm1-u add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 68
Calls
2 calls:
31.0ms
(* y (- x z))
53.0ms
(* (* y (- x z)) t)

series125.0ms

Counts
2 → 6
Calls
2 calls:
60.0ms
(* y (- x z))
65.0ms
(* (* y (- x z)) t)

simplify989.0ms

Counts
74 → 74
Iterations

Useful iterations: done (987.0ms)

IterNodesCost
0133972
1322792
21519638
done5001610

prune166.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- x z) y)
5.5b
(* (* (- x z) y) t)

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-sqr-sqrt add-cbrt-cube
7×*-un-lft-identity
6×associate-*r* associate-*l* associate-*l/
5×add-cube-cbrt
4×pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u flip3-- *-commutative flip-- log1p-expm1-u add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 46
Calls
2 calls:
35.0ms
(* (- x z) y)
49.0ms
(* (* (- x z) y) t)

series95.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(* (- x z) y)
60.0ms
(* (* (- x z) y) t)

simplify742.0ms

Counts
52 → 52
Iterations

Useful iterations: done (740.0ms)

IterNodesCost
081446
1199426
21057372
done5001370

prune136.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- x z))
0.6b
(cbrt (- x z))
0.6b
(cbrt (- x z))
5.5b
(* (* (* y (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (- x z))) t)

rewrite770.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
40×associate-*l/
32×associate-*r/
30×flip3-- flip--
28×frac-times
18×pow1 add-exp-log
15×cbrt-prod
14×add-sqr-sqrt *-un-lft-identity
13×add-cbrt-cube
10×pow-prod-down prod-exp cbrt-unprod
8×add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r* distribute-lft-out-- difference-of-squares
1×associate-*l* *-commutative
Counts
4 → 103
Calls
4 calls:
4.0ms
(cbrt (- x z))
4.0ms
(cbrt (- x z))
4.0ms
(cbrt (- x z))
752.0ms
(* (* (* y (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (- x z))) t)

series603.0ms

Counts
4 → 12
Calls
4 calls:
192.0ms
(cbrt (- x z))
174.0ms
(cbrt (- x z))
189.0ms
(cbrt (- x z))
48.0ms
(* (* (* y (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (- x z))) t)

simplify1.3s

Counts
115 → 115
Iterations

Useful iterations: done (1.3s)

IterNodesCost
02021915
15421881
223621553
done50011385

prune364.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.8b
(* (* (* (- x z) y) (* (cbrt t) (cbrt t))) (cbrt t))
5.0b
(* (* (- x z) y) (* (cbrt t) (cbrt t)))

rewrite327.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1 add-exp-log
21×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
10×associate-*l/
9×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×associate-*r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×flip3-- pow1/3 associate-*l* *-commutative flip--
Counts
4 → 86
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
237.0ms
(* (* (* (- x z) y) (* (cbrt t) (cbrt t))) (cbrt t))
83.0ms
(* (* (- x z) y) (* (cbrt t) (cbrt t)))

series810.0ms

Counts
4 → 12
Calls
4 calls:
223.0ms
(cbrt t)
261.0ms
(cbrt t)
86.0ms
(* (* (* (- x z) y) (* (cbrt t) (cbrt t))) (cbrt t))
241.0ms
(* (* (- x z) y) (* (cbrt t) (cbrt t)))

simplify1.7s

Counts
98 → 98
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01241248
13681196
22218855
done5001718

prune316.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes288.0ms

Accuracy

63.1% (2.7b remaining)

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

bsearch75.0ms

Steps
ItersRangePoint
7
3.7450121606693555e-85
3.6227586523843206e-83
3.5372500543861e-83
8
-1333.496421940221
-0.03117879455470207
-3.324543296029851

simplify5.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01529
12223
done2223

end0.0ms

sample1.3s

Algorithm
intervals
Results
591.0ms10733×body80valid