Details

Time bar (total: 14.8s)

sample76.0ms

Algorithm
intervals
Results
33.0ms270×body80valid

simplify42.0ms

Counts
1 → 1
Iterations
IterNodes
done65
565
461
351
238
126
015

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 12.9b

localize52.0ms

Local error

Found 3 expressions with local error:

1.9b
(fma y (/ b t) (+ a 1.0))
2.5b
(fma (/ z t) y x)
12.6b
(/ (fma (/ z t) y x) (fma y (/ b t) (+ a 1.0)))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
5×add-cbrt-cube add-exp-log
3×expm1-log1p-u pow1 associate-/r* log1p-expm1-u associate-/l* add-log-exp
2×fma-udef
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
3 → 49
Calls
3 calls:
0.0ms
(fma y (/ b t) (+ a 1.0))
0.0ms
(fma (/ z t) y x)
4.0ms
(/ (fma (/ z t) y x) (fma y (/ b t) (+ a 1.0)))

series487.0ms

Counts
3 → 9
Calls
3 calls:
84.0ms
(fma y (/ b t) (+ a 1.0))
61.0ms
(fma (/ z t) y x)
342.0ms
(/ (fma (/ z t) y x) (fma y (/ b t) (+ a 1.0)))

simplify1.5s

Counts
58 → 58
Iterations
IterNodes
done5001
31228
2307
1125
077

prune653.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 12.5b

localize51.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (/ z t) y) x)
1.9b
(fma y (/ b t) (+ a 1.0))
4.7b
(* (/ z t) y)
12.6b
(/ (+ (* (/ z t) y) x) (fma y (/ b t) (+ a 1.0)))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
20×*-un-lft-identity add-cube-cbrt
19×times-frac
13×associate-*l*
11×add-cbrt-cube add-exp-log
6×pow1 add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×associate-/r* associate-*r* associate-/l*
2×cbrt-undiv flip3-+ div-exp prod-exp cbrt-unprod flip-+ div-inv unswap-sqr associate-/l/
1×+-commutative clear-num sum-log fma-def frac-2neg pow-prod-down associate-*l/ *-commutative fma-udef
Counts
4 → 89
Calls
4 calls:
13.0ms
(+ (* (/ z t) y) x)
0.0ms
(fma y (/ b t) (+ a 1.0))
12.0ms
(* (/ z t) y)
33.0ms
(/ (+ (* (/ z t) y) x) (fma y (/ b t) (+ a 1.0)))

series451.0ms

Counts
4 → 12
Calls
4 calls:
52.0ms
(+ (* (/ z t) y) x)
68.0ms
(fma y (/ b t) (+ a 1.0))
25.0ms
(* (/ z t) y)
305.0ms
(/ (+ (* (/ z t) y) x) (fma y (/ b t) (+ a 1.0)))

simplify1.2s

Counts
101 → 101
Iterations
IterNodes
done5000
21374
1339
0152

prune889.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 12.5b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* z (/ y t)) x)
1.9b
(fma y (/ b t) (+ a 1.0))
3.8b
(* z (/ y t))
12.6b
(/ (+ (* z (/ y t)) x) (fma y (/ b t) (+ a 1.0)))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
25×add-sqr-sqrt
20×*-un-lft-identity add-cube-cbrt
19×times-frac
13×associate-*r*
11×add-cbrt-cube add-exp-log
6×pow1 add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×associate-/r* associate-*l* associate-/l*
2×cbrt-undiv flip3-+ div-exp prod-exp cbrt-unprod flip-+ div-inv unswap-sqr associate-/l/
1×+-commutative clear-num sum-log fma-def frac-2neg pow-prod-down associate-*r/ *-commutative fma-udef
Counts
4 → 89
Calls
4 calls:
8.0ms
(+ (* z (/ y t)) x)
0.0ms
(fma y (/ b t) (+ a 1.0))
11.0ms
(* z (/ y t))
49.0ms
(/ (+ (* z (/ y t)) x) (fma y (/ b t) (+ a 1.0)))

series391.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(+ (* z (/ y t)) x)
75.0ms
(fma y (/ b t) (+ a 1.0))
43.0ms
(* z (/ y t))
225.0ms
(/ (+ (* z (/ y t)) x) (fma y (/ b t) (+ a 1.0)))

simplify1.3s

Counts
101 → 101
Iterations
IterNodes
done5000
21243
1363
0154

prune856.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 12.4b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* z (/ y t)) x)
3.8b
(* z (/ y t))
4.1b
(* (/ y t) b)
12.6b
(/ (+ (* z (/ y t)) x) (+ (* (/ y t) b) (+ a 1.0)))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
29×times-frac
28×*-un-lft-identity add-cube-cbrt
16×add-cbrt-cube associate-*r* associate-*l* add-exp-log
8×pow1
6×add-log-exp
4×expm1-log1p-u flip3-+ prod-exp associate-/r/ cbrt-unprod flip-+ log1p-expm1-u unswap-sqr
3×cbrt-undiv associate-/r* div-exp associate-*l/ div-inv associate-/l*
2×pow-prod-down frac-add *-commutative associate-/l/
1×+-commutative clear-num sum-log fma-def frac-2neg associate-*r/
Counts
4 → 117
Calls
4 calls:
10.0ms
(+ (* z (/ y t)) x)
16.0ms
(* z (/ y t))
15.0ms
(* (/ y t) b)
73.0ms
(/ (+ (* z (/ y t)) x) (+ (* (/ y t) b) (+ a 1.0)))

series353.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(+ (* z (/ y t)) x)
36.0ms
(* z (/ y t))
48.0ms
(* (/ y t) b)
214.0ms
(/ (+ (* z (/ y t)) x) (+ (* (/ y t) b) (+ a 1.0)))

simplify2.0s

Counts
129 → 129
Iterations
IterNodes
done5000
22555
1577
0216

prune905.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 11.4b

regimes1.3s

Accuracy

43.7% (2.1b remaining)

Error of 13.1b against oracle of 11.0b and baseline of 14.7b

bsearch206.0ms

Steps
ItersRangePoint
7
3.902723472080927e-59
1.7615960166582e-57
6.269129896688427e-59
10
-1.5599804261144372e+49
-6.493619650347536e+35
-2.3542876234484398e+38

simplify5.0ms

Iterations
IterNodes
done39
139
027

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.1s8278×body80valid