Details

Time bar (total: 9.4s)

sample45.0ms

Algorithm
intervals
Results
18.0ms263×body80valid

simplify8.0ms

Counts
1 → 1
Iterations
IterNodes
done21
321
217
110
07

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.4b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite25.0ms

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

series109.0ms

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

simplify1.7s

Counts
57 → 57
Iterations
IterNodes
done5001
32160
2566
1186
087

prune367.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 3.3b

localize11.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ 1 (fma (- t) z y))
3.2b
(* x (/ 1 (fma (- t) z y)))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
20×times-frac
19×*-un-lft-identity
18×add-cube-cbrt
15×add-exp-log
13×associate-*r*
9×add-cbrt-cube
5×pow1
4×div-exp prod-exp
3×associate-/r* associate-*l* associate-/l* unswap-sqr
2×expm1-log1p-u cbrt-undiv rec-exp 1-exp cbrt-unprod log1p-expm1-u div-inv add-log-exp
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
2 → 71
Calls
2 calls:
8.0ms
(/ 1 (fma (- t) z y))
13.0ms
(* x (/ 1 (fma (- t) z y)))

series113.0ms

Counts
2 → 6
Calls
2 calls:
52.0ms
(/ 1 (fma (- t) z y))
60.0ms
(* x (/ 1 (fma (- t) z y)))

simplify737.0ms

Counts
77 → 77
Iterations
IterNodes
done5001
2838
1205
092

prune377.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 3.3b

localize24.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ 1 (/ (fma (- t) z y) x))
3.4b
(/ (fma (- t) z y) x)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
52×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×associate-/r*
15×add-exp-log
9×add-cbrt-cube
8×div-exp
6×div-inv associate-/l*
4×cbrt-undiv
3×pow1
2×expm1-log1p-u rec-exp clear-num frac-2neg 1-exp log1p-expm1-u add-log-exp
1×associate-/r/ pow-flip inv-pow
Counts
2 → 107
Calls
2 calls:
23.0ms
(/ 1 (/ (fma (- t) z y) x))
8.0ms
(/ (fma (- t) z y) x)

series208.0ms

Counts
2 → 6
Calls
2 calls:
93.0ms
(/ 1 (/ (fma (- t) z y) x))
116.0ms
(/ (fma (- t) z y) x)

simplify994.0ms

Counts
113 → 113
Iterations
IterNodes
done5000
21679
1366
0158

prune460.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

0.3b
(/ 1 (* (fma (- t) z y) (/ 1 x)))
3.6b
(* (fma (- t) z y) (/ 1 x))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
46×add-exp-log
19×add-sqr-sqrt
18×div-exp
16×add-cbrt-cube prod-exp
14×times-frac
13×*-un-lft-identity associate-*r*
12×add-cube-cbrt
9×rec-exp 1-exp
7×pow1
5×cbrt-undiv
4×cbrt-unprod
3×associate-*l* associate-/l* unswap-sqr
2×expm1-log1p-u pow-prod-down associate-*r/ associate-/r/ un-div-inv log1p-expm1-u div-inv pow-flip add-log-exp
1×clear-num associate-/r* frac-2neg *-commutative inv-pow
Counts
2 → 80
Calls
2 calls:
30.0ms
(/ 1 (* (fma (- t) z y) (/ 1 x)))
24.0ms
(* (fma (- t) z y) (/ 1 x))

series210.0ms

Counts
2 → 6
Calls
2 calls:
101.0ms
(/ 1 (* (fma (- t) z y) (/ 1 x)))
109.0ms
(* (fma (- t) z y) (/ 1 x))

simplify2.0s

Counts
86 → 86
Iterations
IterNodes
done5000
22089
1319
0122

prune330.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes735.0ms

Accuracy

75.4% (0.7b remaining)

Error of 0.8b against oracle of 0.1b and baseline of 2.8b

bsearch1.0ms

simplify3.0ms

Iterations
IterNodes
done25
125
019

end0.0ms

sample829.0ms

Algorithm
intervals
Results
337.0ms8363×body80valid