Details

Time bar (total: 31.3s)

sample242.0ms

Algorithm
intervals
Results
101.0ms87×body1280valid
42.0ms89×body640valid
28.0ms269×body80valid
22.0ms65×body320valid
5.0ms20×body160valid

simplify6.8s

Counts
1 → 1
Iterations

Useful iterations: 1 (6.0ms)

IterNodesCost
01415
12614
26614
324414
447014
5322514
done500014

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.9b

localize19.0ms

Local error

Found 3 expressions with local error:

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

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
29×*-un-lft-identity
27×prod-diff
25×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
10×pow1 add-exp-log add-cbrt-cube
8×associate-*r*
5×add-log-exp
4×associate-*r/ associate-*l* pow-prod-down prod-exp cbrt-unprod
3×expm1-log1p-u sub-neg flip3-- fma-neg flip-- log1p-expm1-u
2×associate-*l/ *-commutative distribute-lft-out-- difference-of-squares
1×diff-log unswap-sqr
Counts
3 → 96
Calls
3 calls:
84.0ms
(* J (- (exp l) (exp (- l))))
66.0ms
(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
16.0ms
(- (exp l) (exp (- l)))

series260.0ms

Counts
3 → 9
Calls
3 calls:
74.0ms
(* J (- (exp l) (exp (- l))))
144.0ms
(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
42.0ms
(- (exp l) (exp (- l)))

simplify6.2s

Counts
105 → 105
Iterations

Useful iterations: done (6.2s)

IterNodesCost
01682051
119011536
done50001320

prune417.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize38.0ms

Local error

Found 3 expressions with local error:

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

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
10×pow1 add-exp-log add-cbrt-cube
8×add-sqr-sqrt
6×add-cube-cbrt *-un-lft-identity associate-*r*
5×add-log-exp
4×associate-*l* pow-prod-down prod-exp cbrt-unprod
3×expm1-log1p-u log1p-expm1-u
2×*-commutative fma-udef
1×+-commutative distribute-rgt-in fma-def distribute-lft-in flip3-+ sum-log flip-+ unswap-sqr
Counts
3 → 56
Calls
3 calls:
7.0ms
(* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
24.0ms
(+ (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0))) U)
19.0ms
(* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))

series803.0ms

Counts
3 → 9
Calls
3 calls:
205.0ms
(* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
347.0ms
(+ (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0))) U)
251.0ms
(* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))

simplify2.3s

Counts
65 → 65
Iterations

Useful iterations: done (2.3s)

IterNodesCost
01161600
16311526
done50011341

prune406.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
21×add-exp-log
19×add-sqr-sqrt
18×add-cbrt-cube
16×pow1
14×associate-*r*
11×add-cube-cbrt *-un-lft-identity
10×associate-*l* prod-exp
8×cbrt-unprod
7×pow-prod-down
5×unswap-sqr
4×expm1-log1p-u unpow-prod-down *-commutative log1p-expm1-u add-log-exp
2×associate-*r/ sqr-pow
1×distribute-rgt-in pow-to-exp distribute-lft-in flip3-+ pow-exp flip-+
Counts
4 → 92
Calls
4 calls:
65.0ms
(* (* J l) (+ (* 1/3 (* l l)) 2))
8.0ms
(* (fma 1/60 (* J (pow l 5)) (* (* J l) (+ (* 1/3 (* l l)) 2))) (cos (/ K 2.0)))
17.0ms
(* 1/3 (* l l))
17.0ms
(* J (pow l 5))

series570.0ms

Counts
4 → 12
Calls
4 calls:
129.0ms
(* (* J l) (+ (* 1/3 (* l l)) 2))
273.0ms
(* (fma 1/60 (* J (pow l 5)) (* (* J l) (+ (* 1/3 (* l l)) 2))) (cos (/ K 2.0)))
28.0ms
(* 1/3 (* l l))
141.0ms
(* J (pow l 5))

simplify1.9s

Counts
104 → 104
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01771467
111201330
done50001173

prune592.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 3 expressions with local error:

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

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
10×pow1 add-exp-log add-cbrt-cube
8×add-sqr-sqrt
6×add-cube-cbrt *-un-lft-identity associate-*l*
5×add-log-exp
4×associate-*r* pow-prod-down prod-exp cbrt-unprod
3×expm1-log1p-u log1p-expm1-u
2×*-commutative
1×+-commutative fma-def flip3-+ sum-log flip-+ unswap-sqr
Counts
3 → 54
Calls
3 calls:
36.0ms
(+ (* J (* (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) (cos (/ K 2.0)))) U)
53.0ms
(* J (* (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) (cos (/ K 2.0))))
12.0ms
(* (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) (cos (/ K 2.0)))

series793.0ms

Counts
3 → 9
Calls
3 calls:
380.0ms
(+ (* J (* (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) (cos (/ K 2.0)))) U)
253.0ms
(* J (* (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) (cos (/ K 2.0))))
159.0ms
(* (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) (cos (/ K 2.0)))

simplify1.3s

Counts
63 → 63
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01131647
14961576
done50011379

prune372.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes311.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01921
12121
done2121

end0.0ms

sample7.5s

Algorithm
intervals
Results
2.2s2682×body1280valid
1.9s8289×body80valid
1.7s2606×body640valid
547.0ms1444×body320valid
189.0ms785×body160valid