Details

Time bar (total: 24.0s)

sample46.0ms

Algorithm
intervals
Results
26.0ms259×body80valid

simplify59.0ms

Counts
1 → 1
Iterations
IterNodes
done53
553
451
345
235
126
015

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.9b

localize40.0ms

Local error

Found 3 expressions with local error:

1.5b
(fma (/ y t) b (+ a 1.0))
2.9b
(fma (/ y t) z x)
10.9b
(/ (fma (/ y t) z x) (fma (/ y t) b (+ a 1.0)))

rewrite7.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* insert-posit16 log1p-expm1-u associate-/l* add-log-exp
2×fma-udef
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
3 → 52
Calls
3 calls:
0.0ms
(fma (/ y t) b (+ a 1.0))
0.0ms
(fma (/ y t) z x)
6.0ms
(/ (fma (/ y t) z x) (fma (/ y t) b (+ a 1.0)))

series906.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(fma (/ y t) b (+ a 1.0))
57.0ms
(fma (/ y t) z x)
803.0ms
(/ (fma (/ y t) z x) (fma (/ y t) b (+ a 1.0)))

simplify2.7s

Counts
61 → 61
Iterations
IterNodes
done5000
44450
31013
2321
1130
080

prune371.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 10.7b

localize41.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 1 (fma (/ y t) b (+ a 1.0)))
1.5b
(fma (/ y t) b (+ a 1.0))
2.9b
(fma (/ y t) z x)
10.4b
(* (fma (/ y t) z x) (/ 1 (fma (/ y t) b (+ a 1.0))))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
21×*-un-lft-identity
20×times-frac add-cube-cbrt
17×add-exp-log
13×associate-*r*
11×add-cbrt-cube
7×pow1
4×expm1-log1p-u div-exp prod-exp insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* associate-*l* associate-/l* unswap-sqr
2×cbrt-undiv rec-exp 1-exp cbrt-unprod fma-udef div-inv
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
4 → 95
Calls
4 calls:
9.0ms
(/ 1 (fma (/ y t) b (+ a 1.0)))
0.0ms
(fma (/ y t) b (+ a 1.0))
0.0ms
(fma (/ y t) z x)
27.0ms
(* (fma (/ y t) z x) (/ 1 (fma (/ y t) b (+ a 1.0))))

series1.1s

Counts
4 → 12
Calls
4 calls:
220.0ms
(/ 1 (fma (/ y t) b (+ a 1.0)))
73.0ms
(fma (/ y t) b (+ a 1.0))
77.0ms
(fma (/ y t) z x)
689.0ms
(* (fma (/ y t) z x) (/ 1 (fma (/ y t) b (+ a 1.0))))

simplify1.9s

Counts
107 → 107
Iterations
IterNodes
done5003
32028
2622
1235
0118

prune707.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 10.7b

localize37.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ 1 (/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x)))
1.5b
(fma (/ y t) b (+ a 1.0))
2.9b
(fma (/ y t) z x)
10.9b
(/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
54×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
17×add-exp-log
16×associate-/r*
11×add-cbrt-cube
8×div-exp
6×div-inv associate-/l*
5×pow1
4×expm1-log1p-u cbrt-undiv insert-posit16 log1p-expm1-u add-log-exp
2×rec-exp clear-num frac-2neg 1-exp fma-udef
1×associate-/r/ pow-flip inv-pow
Counts
4 → 131
Calls
4 calls:
11.0ms
(/ 1 (/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x)))
0.0ms
(fma (/ y t) b (+ a 1.0))
0.0ms
(fma (/ y t) z x)
6.0ms
(/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x))

series1.2s

Counts
4 → 12
Calls
4 calls:
653.0ms
(/ 1 (/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x)))
66.0ms
(fma (/ y t) b (+ a 1.0))
62.0ms
(fma (/ y t) z x)
394.0ms
(/ (fma (/ y t) b (+ a 1.0)) (fma (/ y t) z x))

simplify2.3s

Counts
143 → 143
Iterations
IterNodes
done5022
33354
2961
1386
0178

prune978.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 10.7b

localize50.0ms

Local error

Found 4 expressions with local error:

6.2b
(* (fma (/ y t) z x) (/ 1 (* (cbrt (fma (/ y t) b (+ a 1.0))) (cbrt (fma (/ y t) b (+ a 1.0))))))
8.7b
(cbrt (fma (/ y t) b (+ a 1.0)))
8.7b
(cbrt (fma (/ y t) b (+ a 1.0)))
8.7b
(cbrt (fma (/ y t) b (+ a 1.0)))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
23×add-exp-log
15×add-sqr-sqrt
11×*-un-lft-identity add-cbrt-cube
10×prod-exp add-cube-cbrt
9×cbrt-prod
7×associate-*r*
6×pow1
5×times-frac
4×expm1-log1p-u div-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 associate-*l* unswap-sqr
2×cbrt-undiv rec-exp 1-exp
1×pow-prod-down associate-*r/ un-div-inv *-commutative div-inv
Counts
4 → 79
Calls
4 calls:
55.0ms
(* (fma (/ y t) z x) (/ 1 (* (cbrt (fma (/ y t) b (+ a 1.0))) (cbrt (fma (/ y t) b (+ a 1.0))))))
1.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
1.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
2.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))

series5.0s

Counts
4 → 12
Calls
4 calls:
4.2s
(* (fma (/ y t) z x) (/ 1 (* (cbrt (fma (/ y t) b (+ a 1.0))) (cbrt (fma (/ y t) b (+ a 1.0))))))
258.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
237.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))
296.0ms
(cbrt (fma (/ y t) b (+ a 1.0)))

simplify3.1s

Counts
91 → 91
Iterations
IterNodes
done5000
34870
21098
1372
0159

prune753.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 10.2b

regimes1.3s

Accuracy

57.2% (1.2b remaining)

Error of 12.7b against oracle of 11.5b and baseline of 14.3b

bsearch141.0ms

Steps
ItersRangePoint
8
4.297330447742094e-75
3.4842431793744917e-72
5.653415297019765e-74
10
-5.489990643304831e+65
-1.734970609130039e+55
-4.849517237759767e+56

simplify4.0ms

Iterations
IterNodes
done34
134
026

end0.0ms

sample1.0s

Algorithm
intervals
Results
765.0ms8288×body80valid