Details

Time bar (total: 21.1s)

sample27.0ms

Algorithm
intervals
Results
11.0ms269×body80valid

simplify5.8s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11911
23811
36011
48811
512011
616811
732611
8112411
done500011

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.9b

localize18.0ms

Local error

Found 2 expressions with local error:

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

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×add-exp-log add-cbrt-cube add-log-exp
3×flip3-- fma-neg prod-diff associate-/r* flip-- associate-/l*
2×pow1 expm1-log1p-u associate-/r/ log1p-expm1-u associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-sub div-exp clear-num div-inv
Counts
2 → 54
Calls
2 calls:
12.0ms
(- x (* y z))
46.0ms
(/ (- x (* y z)) (- t (* a z)))

series123.0ms

Counts
2 → 6
Calls
2 calls:
40.0ms
(- x (* y z))
83.0ms
(/ (- x (* y z)) (- t (* a z)))

simplify3.3s

Counts
60 → 60
Iterations

Useful iterations: done (3.3s)

IterNodesCost
0100821
1255801
2785733
32699728
done5000708

prune230.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 7.7b

localize14.0ms

Local error

Found 3 expressions with local error:

3.3b
(* y (/ z (- t (* a z))))
3.7b
(/ x (- t (* a z)))
9.5b
(/ z (- t (* a z)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
28×times-frac
27×add-cube-cbrt *-un-lft-identity
15×associate-*r*
12×add-exp-log add-cbrt-cube
6×associate-/r* associate-/r/ associate-/l*
5×pow1
3×cbrt-undiv expm1-log1p-u flip3-- div-exp associate-*l* flip-- log1p-expm1-u div-inv add-log-exp
2×frac-2neg prod-exp clear-num cbrt-unprod unswap-sqr
1×associate-*r/ pow-prod-down *-commutative
Counts
3 → 98
Calls
3 calls:
35.0ms
(* y (/ z (- t (* a z))))
14.0ms
(/ x (- t (* a z)))
9.0ms
(/ z (- t (* a z)))

series210.0ms

Counts
3 → 9
Calls
3 calls:
62.0ms
(* y (/ z (- t (* a z))))
43.0ms
(/ x (- t (* a z)))
105.0ms
(/ z (- t (* a z)))

simplify2.2s

Counts
107 → 107
Iterations

Useful iterations: done (2.2s)

IterNodesCost
01431253
13111218
28151108
321431105
done50011061

prune378.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 1.4b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
88×add-sqr-sqrt
73×*-un-lft-identity
68×times-frac
63×add-cube-cbrt
39×prod-diff
13×fma-neg
10×difference-of-squares
9×associate-/r*
7×add-exp-log add-cbrt-cube
6×div-inv associate-/l*
5×distribute-lft-out-- add-log-exp
4×associate-/r/
3×pow1 expm1-log1p-u flip3-- flip-- log1p-expm1-u
2×cbrt-undiv frac-2neg div-exp clear-num
1×sub-neg diff-log
Counts
3 → 143
Calls
3 calls:
35.0ms
(- (/ t z) a)
25.0ms
(/ y (- (/ t z) a))
10.0ms
(/ x (- t (* a z)))

series141.0ms

Counts
3 → 9
Calls
3 calls:
23.0ms
(- (/ t z) a)
63.0ms
(/ y (- (/ t z) a))
55.0ms
(/ x (- t (* a z)))

simplify2.2s

Counts
152 → 152
Iterations

Useful iterations: done (2.2s)

IterNodesCost
02302292
14561893
29861680
325701530
done50011418

prune465.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 1.4b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ t z) a)
0.7b
(/ 1 (- t (* a z)))
3.2b
(/ y (- (/ t z) a))
3.4b
(* x (/ 1 (- t (* a z))))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
104×add-sqr-sqrt
83×*-un-lft-identity
79×times-frac
72×add-cube-cbrt
39×prod-diff
19×add-exp-log
15×associate-*r*
13×fma-neg add-cbrt-cube
10×difference-of-squares
9×associate-/r*
7×pow1 div-inv
6×associate-/r/ associate-/l* add-log-exp
5×div-exp distribute-lft-out--
4×expm1-log1p-u flip3-- prod-exp flip-- log1p-expm1-u
3×cbrt-undiv associate-*l* unswap-sqr
2×rec-exp frac-2neg 1-exp clear-num cbrt-unprod
1×sub-neg pow-flip diff-log associate-*r/ pow-prod-down un-div-inv *-commutative inv-pow
Counts
4 → 187
Calls
4 calls:
24.0ms
(- (/ t z) a)
11.0ms
(/ 1 (- t (* a z)))
30.0ms
(/ y (- (/ t z) a))
25.0ms
(* x (/ 1 (- t (* a z))))

series210.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(- (/ t z) a)
86.0ms
(/ 1 (- t (* a z)))
39.0ms
(/ y (- (/ t z) a))
45.0ms
(* x (/ 1 (- t (* a z))))

simplify3.1s

Counts
199 → 199
Iterations

Useful iterations: done (3.1s)

IterNodesCost
02682817
15562283
211392012
328561861
done50001749

prune652.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 1.4b

regimes269.0ms

Accuracy

75.6% (0.4b remaining)

Error of 1.9b against oracle of 1.5b and baseline of 3.0b

bsearch111.0ms

Steps
ItersRangePoint
7
1.415955444489259e-65
2.0092364146751114e-63
1.2951673323918204e-63
11
-4.146817943517453e+81
-1.854954349316386e+59
-1.8731594079212337e+59

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02563
13343
done3343

end0.0ms

sample1.3s

Algorithm
intervals
Results
799.0ms8682×body80valid