Details

Time bar (total: 19.7s)

sample51.0ms

Algorithm
intervals
Results
24.0ms463×body80valid

simplify7.5s

Counts
1 → 1
Iterations

Useful iterations: 2 (8.0ms)

IterNodesCost
01819
13318
28517
322917
466317
5153617
6283217
7371617
8495817
done500017

prune17.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma y x (fma t z (* (- (fma c b a)) (* c i))))
0.0b
(fma t z (* (- (fma c b a)) (* c i)))
4.1b
(* (- (fma c b a)) (* c i))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
10×associate-*l*
8×pow1 add-exp-log add-cbrt-cube
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
3×distribute-lft-neg-in expm1-log1p-u distribute-rgt-neg-in pow-prod-down prod-exp cbrt-unprod log1p-expm1-u add-log-exp
2×fma-udef
1×distribute-lft-neg-out neg-mul-1 associate-*r* *-commutative
Counts
3 → 48
Calls
3 calls:
0.0ms
(fma y x (fma t z (* (- (fma c b a)) (* c i))))
0.0ms
(fma t z (* (- (fma c b a)) (* c i)))
8.0ms
(* (- (fma c b a)) (* c i))

series839.0ms

Counts
3 → 9
Calls
3 calls:
628.0ms
(fma y x (fma t z (* (- (fma c b a)) (* c i))))
147.0ms
(fma t z (* (- (fma c b a)) (* c i)))
63.0ms
(* (- (fma c b a)) (* c i))

simplify1.4s

Counts
57 → 57
Iterations

Useful iterations: 3 (283.0ms)

IterNodesCost
085779
1189764
2649662
33045638
done5001638

prune484.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.0b

localize20.0ms

Local error

Found 4 expressions with local error:

1.5b
(cbrt (- (fma c b a)))
1.5b
(cbrt (- (fma c b a)))
1.6b
(* (* (cbrt (- (fma c b a))) (cbrt (- (fma c b a)))) (* (cbrt (- (fma c b a))) (* c i)))
1.8b
(* (cbrt (- (fma c b a))) (* c i))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1 add-exp-log cbrt-prod
18×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l*
9×distribute-lft-neg-in distribute-rgt-neg-in
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×neg-mul-1
2×pow1/3 associate-*r* *-commutative
Counts
4 → 100
Calls
4 calls:
1.0ms
(cbrt (- (fma c b a)))
1.0ms
(cbrt (- (fma c b a)))
38.0ms
(* (* (cbrt (- (fma c b a))) (cbrt (- (fma c b a)))) (* (cbrt (- (fma c b a))) (* c i)))
11.0ms
(* (cbrt (- (fma c b a))) (* c i))

series852.0ms

Counts
4 → 12
Calls
4 calls:
203.0ms
(cbrt (- (fma c b a)))
199.0ms
(cbrt (- (fma c b a)))
143.0ms
(* (* (cbrt (- (fma c b a))) (cbrt (- (fma c b a)))) (* (cbrt (- (fma c b a))) (* c i)))
307.0ms
(* (cbrt (- (fma c b a))) (* c i))

simplify516.0ms

Counts
112 → 112
Iterations

Useful iterations: 2 (126.0ms)

IterNodesCost
01431895
13711823
212931312
done50011312

prune559.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 1.0b

localize29.0ms

Local error

Found 4 expressions with local error:

1.5b
(cbrt (- (fma c b a)))
1.5b
(cbrt (pow (cbrt (- (fma c b a))) 3))
1.6b
(* (* (cbrt (- (fma c b a))) (cbrt (pow (cbrt (- (fma c b a))) 3))) (* (cbrt (- (fma c b a))) (* c i)))
1.8b
(* (cbrt (- (fma c b a))) (* c i))

rewrite75.0ms

Algorithm
rewrite-expression-head
Rules
72×cbrt-prod
30×pow1 add-exp-log
20×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
14×associate-*l*
13×unpow-prod-down cube-prod
12×distribute-lft-neg-in distribute-rgt-neg-in
4×expm1-log1p-u neg-mul-1 log1p-expm1-u add-log-exp
2×pow1/3 associate-*r* *-commutative
1×cube-mult unpow3 rem-cbrt-cube sqr-pow
Counts
4 → 123
Calls
4 calls:
2.0ms
(cbrt (- (fma c b a)))
4.0ms
(cbrt (pow (cbrt (- (fma c b a))) 3))
54.0ms
(* (* (cbrt (- (fma c b a))) (cbrt (pow (cbrt (- (fma c b a))) 3))) (* (cbrt (- (fma c b a))) (* c i)))
10.0ms
(* (cbrt (- (fma c b a))) (* c i))

series869.0ms

Counts
4 → 12
Calls
4 calls:
207.0ms
(cbrt (- (fma c b a)))
199.0ms
(cbrt (pow (cbrt (- (fma c b a))) 3))
145.0ms
(* (* (cbrt (- (fma c b a))) (cbrt (pow (cbrt (- (fma c b a))) 3))) (* (cbrt (- (fma c b a))) (* c i)))
318.0ms
(* (cbrt (- (fma c b a))) (* c i))

simplify1.1s

Counts
135 → 135
Iterations

Useful iterations: 2 (220.0ms)

IterNodesCost
01952542
15201718
220871419
done50001419

prune585.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 1.0b

localize26.0ms

Local error

Found 4 expressions with local error:

1.8b
(* (cbrt (- (fma c b a))) (* c i))
9.3b
(cbrt (* (cbrt (- (fma c b a))) (* c i)))
9.3b
(cbrt (* (cbrt (- (fma c b a))) (* c i)))
9.3b
(cbrt (* (cbrt (- (fma c b a))) (* c i)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
13×cbrt-prod associate-*l*
9×pow1 add-exp-log
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×distribute-lft-neg-in distribute-rgt-neg-in pow1/3 pow-prod-down prod-exp cbrt-unprod
1×neg-mul-1 associate-*r* *-commutative
Counts
4 → 63
Calls
4 calls:
14.0ms
(* (cbrt (- (fma c b a))) (* c i))
6.0ms
(cbrt (* (cbrt (- (fma c b a))) (* c i)))
6.0ms
(cbrt (* (cbrt (- (fma c b a))) (* c i)))
6.0ms
(cbrt (* (cbrt (- (fma c b a))) (* c i)))

series1.5s

Counts
4 → 12
Calls
4 calls:
282.0ms
(* (cbrt (- (fma c b a))) (* c i))
377.0ms
(cbrt (* (cbrt (- (fma c b a))) (* c i)))
396.0ms
(cbrt (* (cbrt (- (fma c b a))) (* c i)))
403.0ms
(cbrt (* (cbrt (- (fma c b a))) (* c i)))

simplify880.0ms

Counts
75 → 75
Iterations

Useful iterations: 3 (289.0ms)

IterNodesCost
01261160
13161134
28371014
32719965
done5001965

prune464.0ms

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 1.0b

regimes485.0ms

Accuracy

0% (1.0b remaining)

Error of 1.8b against oracle of 0.8b and baseline of 1.8b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01617
12117
22417
33117
done3117

end0.0ms

sample1.4s

Algorithm
intervals
Results
737.0ms15157×body80valid