Details

Time bar (total: 25.3s)

sample114.0ms

Algorithm
intervals
Results
60.0ms575×body80valid

simplify2.7s

Counts
1 → 1
Iterations

Useful iterations: 4 (286.0ms)

IterNodesCost
02329
14729
211028
333328
490927
5281127
done500027

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.5b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* c t) (* i y))
3.0b
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
4.6b
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))
4.7b
(* j (- (* c t) (* i y)))

rewrite64.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:
15.0ms
(- (* c t) (* i y))
1.0ms
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
1.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))
37.0ms
(* j (- (* c t) (* i y)))

series1.2s

Counts
4 → 12
Calls
4 calls:
72.0ms
(- (* c t) (* i y))
302.0ms
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
734.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))
122.0ms
(* j (- (* c t) (* i y)))

simplify1.6s

Counts
76 → 76
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01191239
12621222
27061071
324641071
done50001056

prune479.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 5.8b

localize44.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* i a) (* c z))
3.0b
(fma b (- (* i a) (* c z)) (* j (fma c t (- (* i y)))))
4.6b
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (fma c t (- (* i y))))))
4.7b
(* j (fma c t (- (* i y))))

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

series1.2s

Counts
4 → 12
Calls
4 calls:
58.0ms
(- (* i a) (* c z))
299.0ms
(fma b (- (* i a) (* c z)) (* j (fma c t (- (* i y)))))
767.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (fma c t (- (* i y))))))
119.0ms
(* j (fma c t (- (* i y))))

simplify1.9s

Counts
70 → 70
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01201151
12651135
26971000
32379986
done5000981

prune474.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.8b

localize44.0ms

Local error

Found 4 expressions with local error:

1.9b
(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))
3.0b
(fma b (- (* i a) (* c z)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y)))))
3.1b
(* (cbrt j) (- (* c t) (* i y)))
4.6b
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))

rewrite161.0ms

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

series1.9s

Counts
4 → 12
Calls
4 calls:
152.0ms
(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))
423.0ms
(fma b (- (* i a) (* c z)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y)))))
456.0ms
(* (cbrt j) (- (* c t) (* i y)))
832.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))))

simplify1.2s

Counts
102 → 102
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01692229
14382201
216161644
done50011426

prune590.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 3.5b

localize54.0ms

Local error

Found 4 expressions with local error:

3.0b
(fma b (- (* i a) (* c z)) (+ (* t (* j c)) (- (* i (* j y)))))
4.5b
(* i (* j y))
4.5b
(* t (* j c))
4.6b
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (+ (* t (* j c)) (- (* i (* j y))))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-cbrt-cube
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l* pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×associate-*r* *-commutative fma-udef
Counts
4 → 60
Calls
4 calls:
0.0ms
(fma b (- (* i a) (* c z)) (+ (* t (* j c)) (- (* i (* j y)))))
17.0ms
(* i (* j y))
27.0ms
(* t (* j c))
1.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (+ (* t (* j c)) (- (* i (* j y))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
271.0ms
(fma b (- (* i a) (* c z)) (+ (* t (* j c)) (- (* i (* j y)))))
45.0ms
(* i (* j y))
51.0ms
(* t (* j c))
743.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (+ (* t (* j c)) (- (* i (* j y))))))

simplify2.1s

Counts
72 → 72
Iterations

Useful iterations: 3 (1.0s)

IterNodesCost
01131048
12531014
2815852
32866812
done5001812

prune380.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 3.5b

regimes1.1s

Accuracy

9.2% (7.0b remaining)

Error of 11.3b against oracle of 4.3b and baseline of 12.0b

bsearch429.0ms

Steps
ItersRangePoint
9
4.6952142251056764e+262
9.3281005750319e+269
3.2353573317891035e+269
4
4.356234055735134e+94
6.64532283442887e+94
6.144584664089615e+94

simplify10.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
03792
15863
26663
done6663

end0.0ms

sample6.3s

Algorithm
intervals
Results
4.3s18923×body80valid