Details

Time bar (total: 26.0s)

sample156.0ms

Algorithm
intervals
Results
86.0ms622×body80valid

simplify3.0s

Counts
1 → 1
Iterations

Useful iterations: 4 (656.0ms)

IterNodesCost
02329
14729
211028
333328
490727
5281727
done500027

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.9b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* c a) (* y i))
4.2b
(fma x (- (* y z) (* t a)) (fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i)))))
4.5b
(* j (- (* c a) (* y i)))
4.8b
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))

rewrite69.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:
14.0ms
(- (* c a) (* y i))
1.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i)))))
52.0ms
(* j (- (* c a) (* y i)))
0.0ms
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))

series1.2s

Counts
4 → 12
Calls
4 calls:
51.0ms
(- (* c a) (* y i))
702.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i)))))
114.0ms
(* j (- (* c a) (* y i)))
328.0ms
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))

simplify1.7s

Counts
76 → 76
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01191239
12631222
27081071
324761071
done50001056

prune660.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 7.4b

localize57.0ms

Local error

Found 4 expressions with local error:

4.8b
(fma b (- (* t i) (* c z)) (* j (* (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))) (cbrt (- (* c a) (* y i))))))
6.5b
(cbrt (- (* c a) (* y i)))
6.5b
(cbrt (- (* c a) (* y i)))
6.5b
(cbrt (- (* c a) (* y i)))

rewrite20.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 b (- (* t i) (* c z)) (* j (* (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))) (cbrt (- (* c a) (* y i))))))
6.0ms
(cbrt (- (* c a) (* y i)))
6.0ms
(cbrt (- (* c a) (* y i)))
7.0ms
(cbrt (- (* c a) (* y i)))

series932.0ms

Counts
4 → 12
Calls
4 calls:
358.0ms
(fma b (- (* t i) (* c z)) (* j (* (* (cbrt (- (* c a) (* y i))) (cbrt (- (* c a) (* y i)))) (cbrt (- (* c a) (* y i))))))
222.0ms
(cbrt (- (* c a) (* y i)))
180.0ms
(cbrt (- (* c a) (* y i)))
172.0ms
(cbrt (- (* c a) (* y i)))

simplify2.3s

Counts
67 → 67
Iterations

Useful iterations: done (2.2s)

IterNodesCost
01001340
12471299
26681012
31941958
done5000916

prune703.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 4.5b

localize65.0ms

Local error

Found 4 expressions with local error:

4.5b
(* j (- (* c a) (* y i)))
4.8b
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
4.8b
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
4.8b
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))

rewrite60.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×distribute-rgt-in distribute-lft-in associate-*r* associate-*l* fma-udef
2×sub-neg associate-*r/ prod-diff
1×flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
Counts
4 → 58
Calls
4 calls:
55.0ms
(* j (- (* c a) (* y i)))
1.0ms
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
1.0ms
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
1.0ms
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))

series1.2s

Counts
4 → 12
Calls
4 calls:
121.0ms
(* j (- (* c a) (* y i)))
365.0ms
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
346.0ms
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))
354.0ms
(fma b (- (* t i) (* c z)) (* j (- (* c a) (* y i))))

simplify1.7s

Counts
70 → 70
Iterations

Useful iterations: done (1.7s)

IterNodesCost
0881201
11991192
25461035
319581035
done50011025

prune687.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 4.5b

localize49.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* a j) (* z b))
4.4b
(fma x (- (* y z) (* t a)) (- (* c (- (* a j) (* z b))) (* i (* y j))))
5.2b
(* i (* y j))
5.3b
(* c (- (* a j) (* z b)))

rewrite93.0ms

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

series881.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(- (* a j) (* z b))
697.0ms
(fma x (- (* y z) (* t a)) (- (* c (- (* a j) (* z b))) (* i (* y j))))
26.0ms
(* i (* y j))
99.0ms
(* c (- (* a j) (* z b)))

simplify2.5s

Counts
86 → 86
Iterations

Useful iterations: done (2.5s)

IterNodesCost
01341093
13081075
2944938
33392938
done5001923

prune503.0ms

Pruning

16 alts after pruning (14 fresh and 2 done)

Merged error: 4.3b

regimes1.4s

Accuracy

14.9% (7.0b remaining)

Error of 11.5b against oracle of 4.5b and baseline of 12.7b

bsearch401.0ms

Steps
ItersRangePoint
9
1.477773727686849e-186
5.0650649914881346e-180
8.867949959160817e-183
9
-1.6428084931543374e-71
-6.301669648554933e-79
-2.51575510867582e-78

simplify21.0ms

Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
040127
16482
27082
37182
done7182

end0.0ms

sample5.6s

Algorithm
intervals
Results
3.7s19212×body80valid