Details

Time bar (total: 26.2s)

sample223.0ms

Algorithm
intervals
Results
76.0ms124×body320valid
41.0ms292×body80nan
37.0ms548×pre80true
25.0ms89×body160valid
12.0ms21×body640valid
3.0ms22×body80valid

simplify153.0ms

Counts
1 → 1
Iterations
IterNodes
done102
7102
6101
599
491
373
241
122
012

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 54.4b

localize41.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (fma -3 (* c a) (* b b)))
0.1b
(fma -3 (* c a) (* b b))
0.2b
(/ (- (sqrt (fma -3 (* c a) (* b b))) b) (* 3 a))
23.3b
(- (sqrt (fma -3 (* c a) (* b b))) b)

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
124×add-sqr-sqrt
81×*-un-lft-identity
72×times-frac
53×add-cube-cbrt
29×sqrt-prod
28×difference-of-squares
21×associate-*r* associate-*l*
18×prod-diff
14×distribute-lft-out--
12×associate-/r*
9×add-cbrt-cube add-exp-log
7×*-commutative unswap-sqr
6×fma-neg associate-/l* add-log-exp
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u
2×cbrt-undiv flip3-- div-exp flip-- associate-/l/
1×rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 pow1/2 diff-log div-sub prod-exp cbrt-unprod fma-udef div-inv
Counts
4 → 179
Calls
4 calls:
3.0ms
(sqrt (fma -3 (* c a) (* b b)))
1.0ms
(fma -3 (* c a) (* b b))
65.0ms
(/ (- (sqrt (fma -3 (* c a) (* b b))) b) (* 3 a))
17.0ms
(- (sqrt (fma -3 (* c a) (* b b))) b)

series425.0ms

Counts
4 → 12
Calls
4 calls:
93.0ms
(sqrt (fma -3 (* c a) (* b b)))
99.0ms
(fma -3 (* c a) (* b b))
125.0ms
(/ (- (sqrt (fma -3 (* c a) (* b b))) b) (* 3 a))
108.0ms
(- (sqrt (fma -3 (* c a) (* b b))) b)

simplify1.7s

Counts
191 → 191
Iterations
IterNodes
done5001
21836
1642
0244

prune959.0ms

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 51.0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma -3 (* c a) (* b b))
0.1b
(fma -3 (* c a) (* b b))
0.2b
(/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))
53.7b
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
36×times-frac
29×*-un-lft-identity add-cube-cbrt
12×associate-/r* associate-*r* associate-*l*
9×add-cbrt-cube add-exp-log
4×expm1-log1p-u pow1 *-commutative insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×fma-udef associate-/l*
2×cbrt-undiv div-exp
1×clear-num frac-2neg prod-exp cbrt-unprod div-inv
Counts
4 → 101
Calls
4 calls:
0.0ms
(fma -3 (* c a) (* b b))
0.0ms
(fma -3 (* c a) (* b b))
13.0ms
(/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))
0.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

series1.3s

Counts
4 → 12
Calls
4 calls:
65.0ms
(fma -3 (* c a) (* b b))
90.0ms
(fma -3 (* c a) (* b b))
635.0ms
(/ (fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b)) (* 3 a))
474.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

simplify3.7s

Counts
113 → 113
Iterations
IterNodes
done5000
34920
21124
1407
0184

prune1.0s

Pruning

35 alts after pruning (35 fresh and 0 done)

Merged error: 51.0b

localize83.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* 3 a))
0.6b
(cbrt (* 3 a))
0.6b
(cbrt (* 3 a))
53.7b
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
36×cbrt-prod
19×add-sqr-sqrt
13×*-un-lft-identity add-cube-cbrt
9×associate-*r* associate-*l*
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3 *-commutative unswap-sqr
1×fma-udef
Counts
4 → 80
Calls
4 calls:
5.0ms
(cbrt (* 3 a))
11.0ms
(cbrt (* 3 a))
12.0ms
(cbrt (* 3 a))
1.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

series1.5s

Counts
4 → 12
Calls
4 calls:
339.0ms
(cbrt (* 3 a))
340.0ms
(cbrt (* 3 a))
383.0ms
(cbrt (* 3 a))
456.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

simplify1.9s

Counts
92 → 92
Iterations
IterNodes
done5001
43085
3809
2308
1156
094

prune995.0ms

Pruning

39 alts after pruning (39 fresh and 0 done)

Merged error: 51.0b

localize74.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* 3 a))
0.6b
(cbrt (* 3 a))
0.7b
(expm1 (log1p (cbrt (* 3 a))))
53.7b
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
24×cbrt-prod
14×add-sqr-sqrt
10×*-un-lft-identity add-cube-cbrt
6×associate-*r* associate-*l*
5×log1p-expm1-u
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 add-log-exp
2×expm1-log1p pow1/3 *-commutative unswap-sqr
1×fma-udef expm1-udef
Counts
4 → 70
Calls
4 calls:
11.0ms
(cbrt (* 3 a))
12.0ms
(cbrt (* 3 a))
1.0ms
(expm1 (log1p (cbrt (* 3 a))))
1.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

series1.7s

Counts
4 → 12
Calls
4 calls:
313.0ms
(cbrt (* 3 a))
313.0ms
(cbrt (* 3 a))
583.0ms
(expm1 (log1p (cbrt (* 3 a))))
477.0ms
(fma (sqrt (sqrt (fma -3 (* c a) (* b b)))) (sqrt (sqrt (fma -3 (* c a) (* b b)))) (- b))

simplify2.5s

Counts
82 → 82
Iterations
IterNodes
done5008
43210
3848
2326
1172
0106

prune702.0ms

Pruning

42 alts after pruning (42 fresh and 0 done)

Merged error: 51.0b

regimes1.2s

Accuracy

0% (2.6b remaining)

Error of 52.2b against oracle of 49.6b and baseline of 52.2b

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done26
126
022

end0.0ms

sample5.9s

Algorithm
intervals
Results
1.9s3661×body320valid
1.5s16002×pre80true
959.0ms8002×body80nan
801.0ms2982×body160valid
257.0ms514×body640valid
97.0ms843×body80valid