Details

Time bar (total: 19.6s)

sample52.0ms

Algorithm
intervals
Results
25.0ms503×body80valid

simplify7.8s

Counts
1 → 1
Iterations

Useful iterations: 2 (8.0ms)

IterNodesCost
01819
13318
28517
322917
466317
5153617
6283217
7371617
8495817
done500017

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.3b

localize14.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.5b
(* (- (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))

series770.0ms

Counts
3 → 9
Calls
3 calls:
579.0ms
(fma y x (fma t z (* (- (fma c b a)) (* c i))))
131.0ms
(fma t z (* (- (fma c b a)) (* c i)))
60.0ms
(* (- (fma c b a)) (* c i))

simplify1.4s

Counts
57 → 57
Iterations

Useful iterations: 3 (252.0ms)

IterNodesCost
085779
1189764
2649662
33045638
done5001638

prune209.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 1.0b

localize20.0ms

Local error

Found 4 expressions with local error:

4.5b
(* (- (fma c b a)) (* c i))
10.5b
(cbrt (* (- (fma c b a)) (* c i)))
10.5b
(cbrt (* (- (fma c b a)) (* c i)))
10.5b
(cbrt (* (- (fma c b a)) (* c i)))

rewrite24.0ms

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

series697.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(* (- (fma c b a)) (* c i))
212.0ms
(cbrt (* (- (fma c b a)) (* c i)))
211.0ms
(cbrt (* (- (fma c b a)) (* c i)))
212.0ms
(cbrt (* (- (fma c b a)) (* c i)))

simplify1.5s

Counts
73 → 73
Iterations

Useful iterations: 3 (311.0ms)

IterNodesCost
0102955
1252926
2815815
33498792
done5000792

prune389.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 1.0b

localize26.0ms

Local error

Found 4 expressions with local error:

4.5b
(* (- (fma c b a)) (* c i))
10.5b
(cbrt (* (- (fma c b a)) (* c i)))
10.5b
(cbrt (* (- (fma c b a)) (* c i)))
10.5b
(cbrt (* (* (cbrt (- (fma c b a))) (cbrt (- (fma c b a)))) (* (cbrt (- (fma c b a))) (* c i))))

rewrite52.0ms

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

series702.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(* (- (fma c b a)) (* c i))
216.0ms
(cbrt (* (- (fma c b a)) (* c i)))
211.0ms
(cbrt (* (- (fma c b a)) (* c i)))
215.0ms
(cbrt (* (* (cbrt (- (fma c b a))) (cbrt (- (fma c b a)))) (* (cbrt (- (fma c b a))) (* c i))))

simplify1.5s

Counts
73 → 73
Iterations

Useful iterations: 3 (324.0ms)

IterNodesCost
01161150
12731121
2855980
33549837
done5001837

prune436.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 1.0b

localize30.0ms

Local error

Found 4 expressions with local error:

10.5b
(cbrt (* (- (fma c b a)) (* c i)))
10.5b
(cbrt (* (- (fma c b a)) (* c i)))
10.5b
(cbrt (* (- (fma c b a)) (* c i)))
10.5b
(cbrt (* (* (cbrt (- (fma c b a))) (cbrt (- (fma c b a)))) (* (cbrt (- (fma c b a))) (* c i))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log cbrt-prod add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity pow1/3 add-cbrt-cube log1p-expm1-u add-log-exp
Counts
4 → 44
Calls
4 calls:
5.0ms
(cbrt (* (- (fma c b a)) (* c i)))
5.0ms
(cbrt (* (- (fma c b a)) (* c i)))
5.0ms
(cbrt (* (- (fma c b a)) (* c i)))
33.0ms
(cbrt (* (* (cbrt (- (fma c b a))) (cbrt (- (fma c b a)))) (* (cbrt (- (fma c b a))) (* c i))))

series860.0ms

Counts
4 → 12
Calls
4 calls:
217.0ms
(cbrt (* (- (fma c b a)) (* c i)))
221.0ms
(cbrt (* (- (fma c b a)) (* c i)))
214.0ms
(cbrt (* (- (fma c b a)) (* c i)))
207.0ms
(cbrt (* (* (cbrt (- (fma c b a))) (cbrt (- (fma c b a)))) (* (cbrt (- (fma c b a))) (* c i))))

simplify951.0ms

Counts
56 → 56
Iterations

Useful iterations: 4 (323.0ms)

IterNodesCost
073995
1150975
2337861
3887721
42532647
done5000647

prune411.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 1.0b

regimes362.0ms

Accuracy

0% (0.9b remaining)

Error of 1.6b against oracle of 0.7b and baseline of 1.6b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01617
12117
22417
33117
done3117

end0.0ms

sample1.3s

Algorithm
intervals
Results
694.0ms15160×body80valid