Details

Time bar (total: 52.7s)

sample228.0ms

Algorithm
intervals
Results
89.0ms81×body2560valid
63.0ms97×body1280valid
27.0ms275×body80nan
19.0ms38×body640valid
8.0ms21×body320valid
4.0ms13×body160valid
1.0ms6×body80valid

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
63462
51131
4454
3177
265
124
09

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (fma (* -5 v) v 1) (fma v v -1))
0.5b
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
4×add-cbrt-cube add-exp-log
3×associate-/r* associate-/l*
2×expm1-log1p-u pow1 log1p-expm1-u add-log-exp
1×acos-asin cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
2 → 39
Calls
2 calls:
8.0ms
(/ (fma (* -5 v) v 1) (fma v v -1))
2.0ms
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))

series123.0ms

Counts
2 → 6
Calls
2 calls:
114.0ms
(/ (fma (* -5 v) v 1) (fma v v -1))
9.0ms
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))

simplify2.7s

Counts
45 → 45
Iterations
IterNodes
44061
3923
2343
1150
084

prune431.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.5b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))
0.0b
(/ (fma (* -5 v) v 1) (fma v v -1))
0.0b
(expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1)))))
0.5b
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×times-frac
6×add-cbrt-cube add-exp-log
5×expm1-log1p-u
4×pow1 log1p-expm1-u add-log-exp
3×associate-/r* associate-/l*
1×acos-asin cbrt-undiv log1p-udef expm1-log1p clear-num frac-2neg div-exp log1p-expm1 div-inv expm1-udef
Counts
4 → 61
Calls
4 calls:
0.0ms
(log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))
4.0ms
(/ (fma (* -5 v) v 1) (fma v v -1))
0.0ms
(expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1)))))
1.0ms
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))

series389.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))
100.0ms
(/ (fma (* -5 v) v 1) (fma v v -1))
186.0ms
(expm1 (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1)))))
3.0ms
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))

simplify2.7s

Counts
73 → 73
Iterations
IterNodes
43912
3937
2375
1178
0104

prune698.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.5b

localize46.0ms

Local error

Found 4 expressions with local error:

0.0b
(expm1 (* (sqrt (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))) (sqrt (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1)))))))
0.0b
(* (sqrt (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))) (sqrt (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))))
0.5b
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))
0.5b
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
19×pow1
18×sqrt-prod
12×*-un-lft-identity add-cube-cbrt
8×sqrt-pow1 pow1/2 swap-sqr
6×add-cbrt-cube associate-*r* associate-*l* add-exp-log
5×pow-prod-up log1p-expm1-u
4×expm1-log1p-u add-log-exp unswap-sqr
3×pow-prod-down pow-sqr
2×acos-asin
1×pow2 expm1-log1p rem-square-sqrt pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod expm1-udef
Counts
4 → 82
Calls
4 calls:
0.0ms
(expm1 (* (sqrt (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))) (sqrt (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1)))))))
8.0ms
(* (sqrt (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))) (sqrt (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))))
1.0ms
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))
1.0ms
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))

series297.0ms

Counts
4 → 12
Calls
4 calls:
189.0ms
(expm1 (* (sqrt (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))) (sqrt (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1)))))))
103.0ms
(* (sqrt (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))) (sqrt (log1p (acos (/ (fma (* -5 v) v 1) (fma v v -1))))))
2.0ms
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))
3.0ms
(acos (/ (fma (* -5 v) v 1) (fma v v -1)))

simplify3.2s

Counts
94 → 94
Iterations
IterNodes
54115
4968
3422
2244
1141
081

prune1.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.5b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(log1p (acos (* (fma (* -5 v) v 1) (/ 1 (fma v v -1)))))
0.0b
(* (fma (* -5 v) v 1) (/ 1 (fma v v -1)))
0.0b
(expm1 (log1p (acos (* (fma (* -5 v) v 1) (/ 1 (fma v v -1))))))
0.5b
(acos (* (fma (* -5 v) v 1) (/ 1 (fma v v -1))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
13×*-un-lft-identity associate-*r* add-exp-log
12×add-cube-cbrt
11×times-frac
9×add-cbrt-cube
6×pow1
5×expm1-log1p-u
4×prod-exp log1p-expm1-u add-log-exp
3×associate-*l* unswap-sqr
2×div-exp cbrt-unprod
1×acos-asin cbrt-undiv rec-exp log1p-udef expm1-log1p 1-exp pow-prod-down log1p-expm1 associate-*r/ un-div-inv *-commutative div-inv expm1-udef
Counts
4 → 70
Calls
4 calls:
0.0ms
(log1p (acos (* (fma (* -5 v) v 1) (/ 1 (fma v v -1)))))
11.0ms
(* (fma (* -5 v) v 1) (/ 1 (fma v v -1)))
1.0ms
(expm1 (log1p (acos (* (fma (* -5 v) v 1) (/ 1 (fma v v -1))))))
2.0ms
(acos (* (fma (* -5 v) v 1) (/ 1 (fma v v -1))))

series346.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(log1p (acos (* (fma (* -5 v) v 1) (/ 1 (fma v v -1)))))
100.0ms
(* (fma (* -5 v) v 1) (/ 1 (fma v v -1)))
145.0ms
(expm1 (log1p (acos (* (fma (* -5 v) v 1) (/ 1 (fma v v -1))))))
3.0ms
(acos (* (fma (* -5 v) v 1) (/ 1 (fma v v -1))))

simplify28.9s

Counts
82 → 82
Iterations
IterNodes
47130
31896
2657
1273
0130

prune759.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.5b

regimes104.0ms

Accuracy

0% (0.0b remaining)

Error of 0.6b against oracle of 0.5b and baseline of 0.6b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
214
114
012

end1.0ms

sample7.7s

Algorithm
intervals
Results
3.2s2970×body2560valid
2.2s2480×body1280valid
936.0ms8255×body80nan
700.0ms1262×body640valid
224.0ms636×body320valid
102.0ms430×body160valid
33.0ms222×body80valid