Details

Time bar (total: 11.3s)

sample22.0ms

Algorithm
intervals
Results
8.0ms325×body80valid

simplify114.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
089
1167
2367
3797
41177
51297
61317
done1317

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.8b

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite62.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:
23.0ms
(* y (- x z))
36.0ms
(* (* y (- x z)) t)

series84.0ms

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

simplify2.6s

Counts
74 → 74
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
0133972
1274786
2805634
34415592
done5000592

prune122.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite58.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:
22.0ms
(* (- x z) t)
35.0ms
(* y (* (- x z) t))

series76.0ms

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

simplify2.2s

Counts
52 → 52
Iterations

Useful iterations: 2 (83.0ms)

IterNodesCost
081445
1189431
2697365
33422365
done5000365

prune139.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

4.9b
(* y (* (* (cbrt (* (- x z) t)) (cbrt (* (- x z) t))) (cbrt (* (- x z) t))))
7.2b
(cbrt (* (- x z) t))
7.2b
(cbrt (* (- x z) t))
7.2b
(cbrt (* (- x z) t))

rewrite220.0ms

Algorithm
rewrite-expression-head
Rules
74×associate-*l/
60×cbrt-div
34×associate-*r/
30×flip3-- flip--
28×frac-times
13×pow1 add-exp-log
9×add-cbrt-cube
6×pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*l*
1×associate-*r* *-commutative
Counts
4 → 88
Calls
4 calls:
190.0ms
(* y (* (* (cbrt (* (- x z) t)) (cbrt (* (- x z) t))) (cbrt (* (- x z) t))))
8.0ms
(cbrt (* (- x z) t))
8.0ms
(cbrt (* (- x z) t))
8.0ms
(cbrt (* (- x z) t))

series497.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(* y (* (* (cbrt (* (- x z) t)) (cbrt (* (- x z) t))) (cbrt (* (- x z) t))))
140.0ms
(cbrt (* (- x z) t))
139.0ms
(cbrt (* (- x z) t))
145.0ms
(cbrt (* (- x z) t))

simplify2.1s

Counts
100 → 100
Iterations

Useful iterations: done (2.1s)

IterNodesCost
01842070
14342030
211381591
332911468
done50001414

prune311.0ms

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
2.0b
(* (* (cbrt y) (cbrt y)) (* (* (- x z) t) (cbrt y)))
3.2b
(* (* (- x z) t) (cbrt y))

rewrite160.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 associate-*l/
7×associate-*r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×flip3-- pow1/3 associate-*r/ associate-*l* *-commutative flip--
Counts
4 → 83
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
118.0ms
(* (* (cbrt y) (cbrt y)) (* (* (- x z) t) (cbrt y)))
37.0ms
(* (* (- x z) t) (cbrt y))

series559.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(cbrt y)
173.0ms
(cbrt y)
68.0ms
(* (* (cbrt y) (cbrt y)) (* (* (- x z) t) (cbrt y)))
146.0ms
(* (* (- x z) t) (cbrt y))

simplify927.0ms

Counts
95 → 95
Iterations

Useful iterations: done (925.0ms)

IterNodesCost
01231096
13311048
21300747
done5000640

prune208.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0b

regimes153.0ms

Accuracy

54.2% (3.1b remaining)

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

bsearch54.0ms

Steps
ItersRangePoint
7
8.138868218818252e-67
1.4733255489592985e-64
3.7199435121416642e-65
8
-4.136589967279027e+101
-1.2890659370140747e+99
-1.3067920940806496e+99

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02033
12829
done2829

end0.0ms

sample640.0ms

Algorithm
intervals
Results
259.0ms10664×body80valid