Details

Time bar (total: 21.6s)

sample164.0ms

Algorithm
intervals
Results
52.0ms88×body1280valid
30.0ms85×body640valid
23.0ms269×body80valid
12.0ms44×body320valid
4.0ms20×body160valid

simplify2.0s

Counts
1 → 1
Iterations
IterNodes
done5000
62946
5605
4222
391
245
124
014

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.7b

localize26.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.4b
(- (exp l) (exp (- l)))

rewrite182.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-cbrt-cube add-exp-log
8×associate-*r*
5×add-log-exp
4×associate-*l* pow-prod-down prod-exp associate-*r/ cbrt-unprod
3×expm1-log1p-u sub-neg flip3-- fma-neg log1p-expm1-u flip--
2×associate-*l/ *-commutative distribute-lft-out-- difference-of-squares
1×diff-log unswap-sqr
Counts
3 → 96
Calls
3 calls:
66.0ms
(* J (- (exp l) (exp (- l))))
84.0ms
(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
26.0ms
(- (exp l) (exp (- l)))

series256.0ms

Counts
3 → 9
Calls
3 calls:
80.0ms
(* J (- (exp l) (exp (- l))))
128.0ms
(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
48.0ms
(- (exp l) (exp (- l)))

simplify1.7s

Counts
105 → 105
Iterations
IterNodes
done5000
22023
1397
0167

prune601.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
18×associate-*r*
16×add-exp-log
13×add-cbrt-cube
11×pow1 *-un-lft-identity add-cube-cbrt
7×associate-*l* prod-exp
5×cbrt-unprod unswap-sqr
4×expm1-log1p-u unpow-prod-down cube-prod pow-prod-down log1p-expm1-u add-log-exp
3×*-commutative fma-udef
2×sqr-pow
1×distribute-rgt-in cube-mult pow-to-exp distribute-lft-in unpow3 pow-exp
Counts
4 → 85
Calls
4 calls:
11.0ms
(* J (fma 2 l (fma 1/60 (pow l 5) (* 1/3 (pow l 3)))))
1.0ms
(fma 1/60 (pow l 5) (* 1/3 (pow l 3)))
28.0ms
(* (* J (fma 2 l (fma 1/60 (pow l 5) (* 1/3 (pow l 3))))) (cos (/ K 2.0)))
21.0ms
(* 1/3 (pow l 3))

series721.0ms

Counts
4 → 12
Calls
4 calls:
168.0ms
(* J (fma 2 l (fma 1/60 (pow l 5) (* 1/3 (pow l 3)))))
208.0ms
(fma 1/60 (pow l 5) (* 1/3 (pow l 3)))
261.0ms
(* (* J (fma 2 l (fma 1/60 (pow l 5) (* 1/3 (pow l 3))))) (cos (/ K 2.0)))
85.0ms
(* 1/3 (pow l 3))

simplify901.0ms

Counts
97 → 97
Iterations
IterNodes
done5002
21573
1357
0150

prune811.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
18×associate-*l*
16×add-exp-log
13×add-cbrt-cube
11×pow1 *-un-lft-identity add-cube-cbrt
7×associate-*r* prod-exp fma-udef
5×distribute-rgt-in distribute-lft-in cbrt-unprod unswap-sqr
4×expm1-log1p-u unpow-prod-down cube-prod pow-prod-down log1p-expm1-u add-log-exp
3×*-commutative
2×sqr-pow
1×cube-mult pow-to-exp unpow3 pow-exp
Counts
4 → 89
Calls
4 calls:
0.0ms
(fma (pow l 5) 1/60 (* (pow l 3) 1/3))
14.0ms
(* J (* (cos (/ K 2.0)) (fma l 2 (fma (pow l 5) 1/60 (* (pow l 3) 1/3)))))
6.0ms
(* (cos (/ K 2.0)) (fma l 2 (fma (pow l 5) 1/60 (* (pow l 3) 1/3))))
13.0ms
(* (pow l 3) 1/3)

series802.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(fma (pow l 5) 1/60 (* (pow l 3) 1/3))
345.0ms
(* J (* (cos (/ K 2.0)) (fma l 2 (fma (pow l 5) 1/60 (* (pow l 3) 1/3)))))
202.0ms
(* (cos (/ K 2.0)) (fma l 2 (fma (pow l 5) 1/60 (* (pow l 3) 1/3))))
78.0ms
(* (pow l 3) 1/3)

simplify965.0ms

Counts
101 → 101
Iterations
IterNodes
done5001
21744
1391
0169

prune837.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
18×associate-*l*
16×add-exp-log
13×add-cbrt-cube
11×pow1 *-un-lft-identity add-cube-cbrt
7×associate-*r* prod-exp
5×cbrt-unprod unswap-sqr
4×expm1-log1p-u unpow-prod-down cube-prod pow-prod-down log1p-expm1-u add-log-exp
3×*-commutative
2×sqr-pow
1×cube-mult pow-to-exp unpow3 pow-exp fma-udef
Counts
4 → 83
Calls
4 calls:
1.0ms
(fma (pow l 5) 1/60 (* (pow l 3) 1/3))
16.0ms
(* (fma l 2 (fma (pow l 5) 1/60 (* (pow l 3) 1/3))) (* J (cos (/ K 2.0))))
6.0ms
(* J (cos (/ K 2.0)))
11.0ms
(* (pow l 3) 1/3)

series564.0ms

Counts
4 → 12
Calls
4 calls:
198.0ms
(fma (pow l 5) 1/60 (* (pow l 3) 1/3))
215.0ms
(* (fma l 2 (fma (pow l 5) 1/60 (* (pow l 3) 1/3))) (* J (cos (/ K 2.0))))
73.0ms
(* J (cos (/ K 2.0)))
77.0ms
(* (pow l 3) 1/3)

simplify778.0ms

Counts
95 → 95
Iterations
IterNodes
done5001
21210
1305
0139

prune779.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes615.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done24
124
020

end0.0ms

sample8.5s

Algorithm
intervals
Results
2.5s8436×body80valid
2.4s2662×body1280valid
1.5s2683×body640valid
532.0ms1452×body320valid
378.0ms791×body160valid