Details

Time bar (total: 14.4s)

sample75.0ms

Algorithm
intervals
Results
38.0ms625×body80valid

simplify1.6s

Counts
1 → 1
Iterations

Useful iterations: 4 (87.0ms)

IterNodesCost
02329
14729
211028
329428
486227
5282927
done500027

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.4b

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* y z) (* t a))
4.1b
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (* x (- (* y z) (* t a)))))
5.5b
(fma j (- (* c a) (* y i)) (* x (- (* y z) (* t a))))
6.1b
(* x (- (* y z) (* t a)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
4×expm1-log1p-u log1p-expm1-u
3×distribute-rgt-in sub-neg distribute-lft-in associate-*r* associate-*l* prod-diff
2×flip3-- associate-*r/ flip-- fma-udef
1×fma-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 64
Calls
4 calls:
3.0ms
(- (* y z) (* t a))
0.0ms
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (* x (- (* y z) (* t a)))))
0.0ms
(fma j (- (* c a) (* y i)) (* x (- (* y z) (* t a))))
13.0ms
(* x (- (* y z) (* t a)))

series839.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(- (* y z) (* t a))
537.0ms
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (* x (- (* y z) (* t a)))))
196.0ms
(fma j (- (* c a) (* y i)) (* x (- (* y z) (* t a))))
66.0ms
(* x (- (* y z) (* t a)))

simplify1.5s

Counts
76 → 76
Iterations

Useful iterations: done (1.5s)

IterNodesCost
01201239
12691222
28721071
330131071
done50001068

prune359.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 6.6b

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b
(fma z y (* (- a) t))
4.1b
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (* x (+ (fma z y (* (- a) t)) (* a (- t t))))))
5.5b
(fma j (- (* c a) (* y i)) (* x (+ (fma z y (* (- a) t)) (* a (- t t)))))
6.1b
(* x (+ (fma z y (* (- a) t)) (* a (- t t))))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*r* associate-*l* fma-udef
2×associate-*r/
1×distribute-rgt-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 54
Calls
4 calls:
0.0ms
(fma z y (* (- a) t))
0.0ms
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (* x (+ (fma z y (* (- a) t)) (* a (- t t))))))
0.0ms
(fma j (- (* c a) (* y i)) (* x (+ (fma z y (* (- a) t)) (* a (- t t)))))
7.0ms
(* x (+ (fma z y (* (- a) t)) (* a (- t t))))

series843.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(fma z y (* (- a) t))
536.0ms
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (* x (+ (fma z y (* (- a) t)) (* a (- t t))))))
195.0ms
(fma j (- (* c a) (* y i)) (* x (+ (fma z y (* (- a) t)) (* a (- t t)))))
70.0ms
(* x (+ (fma z y (* (- a) t)) (* a (- t t))))

simplify1.1s

Counts
66 → 66
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01121415
12571284
2969988
done5000984

prune340.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 4.4b

localize26.0ms

Local error

Found 4 expressions with local error:

2.6b
(* (* (cbrt x) (cbrt x)) (* (+ 0 (fma z y (* (- a) t))) (cbrt x)))
3.8b
(* (+ 0 (fma z y (* (- a) t))) (cbrt x))
4.1b
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (* (* (cbrt x) (cbrt x)) (* (+ 0 (fma z y (* (- a) t))) (cbrt x)))))
5.5b
(fma j (- (* c a) (* y i)) (* (* (cbrt x) (cbrt x)) (* (+ 0 (fma z y (* (- a) t))) (cbrt x))))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log
11×add-sqr-sqrt add-cbrt-cube
9×*-un-lft-identity pow-prod-down prod-exp cbrt-unprod
7×add-cube-cbrt associate-*r*
5×associate-*l*
4×cbrt-prod expm1-log1p-u associate-*l/ log1p-expm1-u add-log-exp
2×flip3-+ associate-*r/ *-commutative flip-+ fma-udef unswap-sqr
1×distribute-lft-out
Counts
4 → 73
Calls
4 calls:
25.0ms
(* (* (cbrt x) (cbrt x)) (* (+ 0 (fma z y (* (- a) t))) (cbrt x)))
11.0ms
(* (+ 0 (fma z y (* (- a) t))) (cbrt x))
0.0ms
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (* (* (cbrt x) (cbrt x)) (* (+ 0 (fma z y (* (- a) t))) (cbrt x)))))
0.0ms
(fma j (- (* c a) (* y i)) (* (* (cbrt x) (cbrt x)) (* (+ 0 (fma z y (* (- a) t))) (cbrt x))))

series1.1s

Counts
4 → 12
Calls
4 calls:
104.0ms
(* (* (cbrt x) (cbrt x)) (* (+ 0 (fma z y (* (- a) t))) (cbrt x)))
151.0ms
(* (+ 0 (fma z y (* (- a) t))) (cbrt x))
595.0ms
(fma (- (* t i) (* c z)) b (fma j (- (* c a) (* y i)) (* (* (cbrt x) (cbrt x)) (* (+ 0 (fma z y (* (- a) t))) (cbrt x)))))
246.0ms
(fma j (- (* c a) (* y i)) (* (* (cbrt x) (cbrt x)) (* (+ 0 (fma z y (* (- a) t))) (cbrt x))))

simplify1.4s

Counts
85 → 85
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01462017
13681763
214631341
done50001339

prune465.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 4.4b

localize24.0ms

Local error

Found 4 expressions with local error:

5.5b
(fma j (- (* c a) (* y i)) (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))))
7.7b
(cbrt (- (* y z) (* t a)))
7.7b
(cbrt (- (* y z) (* t a)))
7.7b
(cbrt (- (* y z) (* t a)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×cbrt-div
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×flip3-- pow1/3 flip--
1×fma-udef
Counts
4 → 55
Calls
4 calls:
0.0ms
(fma j (- (* c a) (* y i)) (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))))
2.0ms
(cbrt (- (* y z) (* t a)))
2.0ms
(cbrt (- (* y z) (* t a)))
3.0ms
(cbrt (- (* y z) (* t a)))

series552.0ms

Counts
4 → 12
Calls
4 calls:
204.0ms
(fma j (- (* c a) (* y i)) (* (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (cbrt (- (* y z) (* t a)))))
113.0ms
(cbrt (- (* y z) (* t a)))
113.0ms
(cbrt (- (* y z) (* t a)))
122.0ms
(cbrt (- (* y z) (* t a)))

simplify639.0ms

Counts
67 → 67
Iterations

Useful iterations: done (637.0ms)

IterNodesCost
01001340
12471299
26521014
31873958
done5000955

prune378.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 4.4b

regimes814.0ms

Accuracy

26.5% (5.7b remaining)

Error of 10.1b against oracle of 4.4b and baseline of 12.1b

bsearch193.0ms

Steps
ItersRangePoint
7
1.3164191131068259e+126
8.950618828656672e+127
2.4703080645164388e+126
7
-2.922772856625031e+99
-4.058015610946657e+97
-8.130057489086743e+98

simplify12.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
04092
15867
26367
36467
done6467

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.2s19022×body80valid