Details

Time bar (total: 8.3s)

sample40.0ms

Algorithm
intervals
Results
13.0ms283×body80valid

simplify422.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11911
23811
35211
48011
510811
620511
763111
done500011

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.4b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (* y z))
0.0b
(- t (* a z))
9.1b
(/ (- x (* y z)) (- t (* a z)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
7×add-log-exp
5×add-exp-log add-cbrt-cube
4×flip3-- flip--
3×pow1 associate-/r* associate-/l*
2×sub-neg diff-log associate-/r/ associate-/l/
1×cbrt-undiv frac-2neg div-sub div-exp clear-num div-inv
Counts
3 → 56
Calls
3 calls:
8.0ms
(- x (* y z))
8.0ms
(- t (* a z))
27.0ms
(/ (- x (* y z)) (- t (* a z)))

series167.0ms

Counts
3 → 9
Calls
3 calls:
42.0ms
(- x (* y z))
42.0ms
(- t (* a z))
82.0ms
(/ (- x (* y z)) (- t (* a z)))

simplify652.0ms

Counts
65 → 65
Iterations

Useful iterations: done (650.0ms)

IterNodesCost
096852
1258829
21010767
done5000765

prune249.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 9.1b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(- t (* a z))
0.0b
(- t (* a z))
2.5b
(/ x (- t (* a z)))
9.5b
(/ (* y z) (- t (* a z)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×times-frac
11×add-exp-log add-cbrt-cube
8×add-log-exp
6×associate-/r*
4×pow1 flip3-- associate-/r/ flip-- associate-/l*
3×cbrt-undiv div-exp
2×sub-neg frac-2neg diff-log clear-num div-inv
1×prod-exp cbrt-unprod
Counts
4 → 76
Calls
4 calls:
6.0ms
(- t (* a z))
9.0ms
(- t (* a z))
14.0ms
(/ x (- t (* a z)))
22.0ms
(/ (* y z) (- t (* a z)))

series179.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(- t (* a z))
42.0ms
(- t (* a z))
41.0ms
(/ x (- t (* a z)))
57.0ms
(/ (* y z) (- t (* a z)))

simplify663.0ms

Counts
88 → 88
Iterations

Useful iterations: done (660.0ms)

IterNodesCost
0111960
1273934
21148838
done5000832

prune255.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 6.1b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(- t (* a z))
2.5b
(/ x (- t (* a z)))
3.4b
(* y (/ z (- t (* a z))))
8.3b
(/ z (- t (* a z)))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
28×add-cube-cbrt *-un-lft-identity times-frac
15×associate-*r*
13×add-exp-log add-cbrt-cube
6×pow1 associate-/r* associate-/r/ associate-/l* add-log-exp
4×flip3-- flip--
3×cbrt-undiv div-exp associate-*l* div-inv
2×frac-2neg prod-exp clear-num cbrt-unprod unswap-sqr
1×sub-neg diff-log associate-*r/ pow-prod-down *-commutative
Counts
4 → 104
Calls
4 calls:
5.0ms
(- t (* a z))
11.0ms
(/ x (- t (* a z)))
36.0ms
(* y (/ z (- t (* a z))))
14.0ms
(/ z (- t (* a z)))

series237.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(- t (* a z))
48.0ms
(/ x (- t (* a z)))
66.0ms
(* y (/ z (- t (* a z))))
84.0ms
(/ z (- t (* a z)))

simplify706.0ms

Counts
116 → 116
Iterations

Useful iterations: 2 (214.0ms)

IterNodesCost
01461329
13541293
212891173
done50011173

prune381.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 6.1b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(- t (* a z))
2.5b
(/ x (- t (* a z)))
3.9b
(/ y (/ (- t (* a z)) z))
8.3b
(/ (- t (* a z)) z)

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
93×times-frac
62×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
19×associate-/r*
13×add-exp-log add-cbrt-cube
9×associate-/l*
7×div-inv
6×add-log-exp
5×cbrt-undiv div-exp
4×pow1
3×flip3-- frac-2neg clear-num associate-/r/ flip--
2×associate-/l/
1×sub-neg diff-log div-sub
Counts
4 → 141
Calls
4 calls:
8.0ms
(- t (* a z))
14.0ms
(/ x (- t (* a z)))
17.0ms
(/ y (/ (- t (* a z)) z))
19.0ms
(/ (- t (* a z)) z)

series207.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(- t (* a z))
48.0ms
(/ x (- t (* a z)))
65.0ms
(/ y (/ (- t (* a z)) z))
51.0ms
(/ (- t (* a z)) z)

simplify1.4s

Counts
153 → 153
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02212222
15602144
226042006
done50011888

prune522.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.0b

regimes256.0ms

Accuracy

51.8% (0.8b remaining)

Error of 2.1b against oracle of 1.4b and baseline of 2.9b

bsearch114.0ms

Steps
ItersRangePoint
6
1.126833560581717e-107
1.0553990283636674e-106
1.2491277139921657e-107
9
-1.3026076613842493e-109
-5.0133943439061705e-115
-1.3128790634905815e-112

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02668
13352
done3352

end0.0ms

sample1.5s

Algorithm
intervals
Results
540.0ms8728×body80valid