Details

Time bar (total: 9.8s)

sample32.0ms

Algorithm
intervals
Results
13.0ms323×body80valid

simplify166.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
089
1167
2367
3797
41227
51347
61367
done1367

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.5b

localize13.0ms

Local error

Found 2 expressions with local error:

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

rewrite101.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:
40.0ms
(* y (- x z))
59.0ms
(* (* y (- x z)) t)

series103.0ms

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

simplify1.1s

Counts
74 → 74
Iterations

Useful iterations: done (1.1s)

IterNodesCost
0133972
1322792
21519638
done5001610

prune211.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

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

rewrite97.0ms

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

series86.0ms

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

simplify605.0ms

Counts
52 → 52
Iterations

Useful iterations: 2 (121.0ms)

IterNodesCost
081445
1195431
2804365
done5000365

prune163.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite193.0ms

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

series839.0ms

Counts
4 → 12
Calls
4 calls:
299.0ms
(cbrt y)
213.0ms
(cbrt y)
242.0ms
(* (cbrt y) (* (- x z) t))
85.0ms
(* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))

simplify1.2s

Counts
95 → 95
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01191089
13421046
21684747
done5000635

prune314.0ms

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt t)
0.5b
(cbrt t)
0.5b
(cbrt t)
7.8b
(* y (* (* (* (cbrt t) (cbrt t)) (- x z)) (cbrt t)))

rewrite365.0ms

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

series998.0ms

Counts
4 → 12
Calls
4 calls:
286.0ms
(cbrt t)
298.0ms
(cbrt t)
298.0ms
(cbrt t)
116.0ms
(* y (* (* (* (cbrt t) (cbrt t)) (- x z)) (cbrt t)))

simplify1.1s

Counts
79 → 79
Iterations

Useful iterations: done (1.1s)

IterNodesCost
0101774
1286748
21309520
done5001421

prune263.0ms

Pruning

12 alts after pruning (8 fresh and 4 done)

Merged error: 0.0b

regimes400.0ms

Accuracy

64.3% (2.5b remaining)

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

bsearch135.0ms

Steps
ItersRangePoint
8
3.3925201621099505e+51
3.394150247141357e+54
4.3837540776559766e+51
10
-1.828939172749339e+54
-2.9788705781669344e+39
-1.5532825872632527e+43

simplify3.0ms

Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
01529
12223
done2223

end0.0ms

sample1.2s

Algorithm
intervals
Results
563.0ms10589×body80valid