Details

Time bar (total: 27.7s)

sample168.0ms

Algorithm
intervals
Results
88.0ms575×body80valid

simplify2.6s

Counts
1 → 1
Iterations

Useful iterations: 4 (236.0ms)

IterNodesCost
02329
14729
211028
333328
490927
5281127
done500027

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.5b

localize43.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)))

rewrite61.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:
9.0ms
(- (* c t) (* i y))
0.0ms
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
0.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))
50.0ms
(* j (- (* c t) (* i y)))

series1.3s

Counts
4 → 12
Calls
4 calls:
75.0ms
(- (* c t) (* i y))
318.0ms
(fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y))))
768.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (- (* c t) (* i y)))))
111.0ms
(* j (- (* c t) (* i y)))

simplify1.5s

Counts
76 → 76
Iterations

Useful iterations: done (1.5s)

IterNodesCost
01191239
12621222
27061071
324641071
done50001056

prune546.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 5.8b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite61.0ms

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

series1.4s

Counts
4 → 12
Calls
4 calls:
78.0ms
(- (* c t) (* i y))
376.0ms
(fma b (- (* i a) (* c z)) (* j (* 1 (- (* c t) (* i y)))))
806.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* j (* 1 (- (* c t) (* i y))))))
117.0ms
(* j (* 1 (- (* c t) (* i y))))

simplify3.0s

Counts
83 → 83
Iterations

Useful iterations: done (3.0s)

IterNodesCost
01471481
13221309
28741138
331841133
done50001113

prune549.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.8b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite77.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 (* y j)))))
39.0ms
(* i (* y j))
36.0ms
(* t (* j c))
1.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (+ (* t (* j c)) (- (* i (* y j))))))

series1.4s

Counts
4 → 12
Calls
4 calls:
340.0ms
(fma b (- (* i a) (* c z)) (+ (* t (* j c)) (- (* i (* y j)))))
39.0ms
(* i (* y j))
46.0ms
(* t (* j c))
926.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (+ (* t (* j c)) (- (* i (* y j))))))

simplify2.3s

Counts
72 → 72
Iterations

Useful iterations: 3 (1.0s)

IterNodesCost
01131048
12531014
2809852
32816812
done5000812

prune575.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.5b

localize66.0ms

Local error

Found 4 expressions with local error:

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

rewrite59.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:
1.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))
13.0ms
(cbrt (- (* c t) (* i y)))
12.0ms
(cbrt (- (* c t) (* i y)))
31.0ms
(cbrt (- (* c t) (* i y)))

series1.7s

Counts
4 → 12
Calls
4 calls:
935.0ms
(fma x (- (* y z) (* t a)) (fma b (- (* i a) (* c z)) (* (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (cbrt (- (* c t) (* i y))))))
271.0ms
(cbrt (- (* c t) (* i y)))
222.0ms
(cbrt (- (* c t) (* i y)))
225.0ms
(cbrt (- (* c t) (* i y)))

simplify1.8s

Counts
67 → 67
Iterations

Useful iterations: done (1.8s)

IterNodesCost
01061448
12631407
27001102
320131048
done50011006

prune642.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 3.5b

regimes1.1s

Accuracy

11.7% (6.8b remaining)

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

bsearch201.0ms

Steps
ItersRangePoint
8
7.001621085332421e-69
6.754278535153957e-65
6.104415418042492e-68

simplify45.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03784
15584
26384
done6384

end0.0ms

sample6.6s

Algorithm
intervals
Results
4.4s18923×body80valid