Details

Time bar (total: 21.7s)

sample270.0ms

Algorithm
intervals
Results
86.0ms91×body1280valid
79.0ms259×body80valid
38.0ms62×body640valid
19.0ms48×body320valid
5.0ms21×body160valid

simplify2.7s

Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
01415
12414
24514
39114
422214
560014
6286214
done500014

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.2b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
7.0b
(- (exp l) (exp (- l)))

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity
10×add-cube-cbrt
9×prod-diff
7×pow1 add-exp-log add-cbrt-cube
4×add-log-exp
3×fma-neg associate-*r* pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u flip3-- associate-*r/ associate-*l/ flip-- log1p-expm1-u
1×sub-neg diff-log associate-*l* *-commutative distribute-lft-out-- difference-of-squares
Counts
2 → 50
Calls
2 calls:
104.0ms
(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
21.0ms
(- (exp l) (exp (- l)))

series253.0ms

Counts
2 → 6
Calls
2 calls:
183.0ms
(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
70.0ms
(- (exp l) (exp (- l)))

simplify1.1s

Counts
56 → 56
Iterations

Useful iterations: done (1.1s)

IterNodesCost
0124978
1301827
21443655
done5002597

prune247.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.1b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
0.0b
(fma 1/60 (pow l 5) (* 2 l))
0.0b
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
0.1b
(* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))

rewrite56.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-*r*
4×expm1-log1p-u associate-*l* pow-prod-down prod-exp cbrt-unprod fma-udef log1p-expm1-u add-log-exp
2×*-commutative
1×distribute-rgt-in distribute-lft-in unswap-sqr
Counts
4 → 62
Calls
4 calls:
16.0ms
(* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
1.0ms
(fma 1/60 (pow l 5) (* 2 l))
1.0ms
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
37.0ms
(* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))

series767.0ms

Counts
4 → 12
Calls
4 calls:
201.0ms
(* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
217.0ms
(fma 1/60 (pow l 5) (* 2 l))
92.0ms
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
257.0ms
(* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))

simplify1.1s

Counts
74 → 74
Iterations

Useful iterations: done (1.1s)

IterNodesCost
01081440
12561420
213241198
done50001187

prune496.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 1/60 (pow l 5) (* 2 l))
0.0b
(fma (pow l 3) 1/3 (fma 1/60 (pow l 5) (* 2 l)))
0.1b
(* J (* (fma (pow l 3) 1/3 (fma 1/60 (pow l 5) (* 2 l))) (cos (/ K 2.0))))
0.1b
(* (fma (pow l 3) 1/3 (fma 1/60 (pow l 5) (* 2 l))) (cos (/ K 2.0)))

rewrite41.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*
4×expm1-log1p-u associate-*r* pow-prod-down prod-exp cbrt-unprod log1p-expm1-u add-log-exp
2×*-commutative fma-udef
1×unswap-sqr
Counts
4 → 60
Calls
4 calls:
0.0ms
(fma 1/60 (pow l 5) (* 2 l))
0.0ms
(fma (pow l 3) 1/3 (fma 1/60 (pow l 5) (* 2 l)))
22.0ms
(* J (* (fma (pow l 3) 1/3 (fma 1/60 (pow l 5) (* 2 l))) (cos (/ K 2.0))))
17.0ms
(* (fma (pow l 3) 1/3 (fma 1/60 (pow l 5) (* 2 l))) (cos (/ K 2.0)))

series671.0ms

Counts
4 → 12
Calls
4 calls:
220.0ms
(fma 1/60 (pow l 5) (* 2 l))
87.0ms
(fma (pow l 3) 1/3 (fma 1/60 (pow l 5) (* 2 l)))
247.0ms
(* J (* (fma (pow l 3) 1/3 (fma 1/60 (pow l 5) (* 2 l))) (cos (/ K 2.0))))
117.0ms
(* (fma (pow l 3) 1/3 (fma 1/60 (pow l 5) (* 2 l))) (cos (/ K 2.0)))

simplify803.0ms

Counts
72 → 72
Iterations

Useful iterations: 2 (189.0ms)

IterNodesCost
01071487
12341467
29951231
done50021231

prune483.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
0.1b
(* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))
0.3b
(pow (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0))) 3)
24.6b
(cbrt (pow (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0))) 3))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
15×pow1 add-exp-log add-cbrt-cube
8×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-unpow pow-pow associate-*r* pow-exp rem-cube-cbrt
2×cube-mult unpow-prod-down unpow3 cube-prod sqr-pow
1×pow-to-exp pow1/3 associate-*l* *-commutative rem-cbrt-cube fma-udef
Counts
4 → 76
Calls
4 calls:
1.0ms
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
20.0ms
(* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))
33.0ms
(pow (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0))) 3)
10.0ms
(cbrt (pow (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0))) 3))

series985.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
243.0ms
(* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))
352.0ms
(pow (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0))) 3)
281.0ms
(cbrt (pow (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0))) 3))

simplify2.3s

Counts
88 → 88
Iterations

Useful iterations: done (2.3s)

IterNodesCost
01492264
13962048
222221809
done50011804

prune554.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes647.0ms

Accuracy

0% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 0.4b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
02224
12822
done2822

end0.0ms

sample7.8s

Algorithm
intervals
Results
2.7s2618×body1280valid
2.0s2541×body640valid
1.2s8366×body80valid
623.0ms1391×body320valid
237.0ms762×body160valid