Details

Time bar (total: 1.3m)

sample298.0ms

Algorithm
intervals
Results
99.0ms83×body640valid
85.0ms83×body1280valid
55.0ms247×body80valid
28.0ms53×body320valid
10.0ms29×body160valid

simplify196.0ms

Calls
1 calls:
Slowest
196.0ms
(+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2))) U)

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 18.8b

localize54.0ms

Local error

Found 3 expressions with local error:

6.6b
(- (exp l) (exp (- l)))
0.0b
(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2)))
0.0b
(* J (- (exp l) (exp (- l))))

rewrite298.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
20×associate-*l*
15×*-un-lft-identity
13×associate-*r*
10×pow1 add-cbrt-cube add-exp-log
9×add-cube-cbrt
5×add-log-exp unswap-sqr
4×pow-prod-down prod-exp associate-*r/ cbrt-unprod
3×sub-neg flip3-- *-commutative insert-posit16 flip-- distribute-lft-out-- difference-of-squares
2×distribute-rgt-in distribute-lft-in associate-*l/
1×diff-log
Calls
3 calls:
Slowest
212.0ms
(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2)))
64.0ms
(* J (- (exp l) (exp (- l))))
21.0ms
(- (exp l) (exp (- l)))

series289.0ms

Calls
3 calls:
Slowest
143.0ms
(* (* J (- (exp l) (exp (- l)))) (cos (/ K 2)))
85.0ms
(* J (- (exp l) (exp (- l))))
60.0ms
(- (exp l) (exp (- l)))

simplify4.6s

Calls
57 calls:
Slowest
581.0ms
(* (* (* J J) J) (* (* (- (exp l) (exp (- l))) (- (exp l) (exp (- l)))) (- (exp l) (exp (- l)))))
295.0ms
(+ (* 2 l) (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))
269.0ms
(* (* J (- (pow (exp l) 3) (pow (exp (- l)) 3))) (cos (/ K 2)))
239.0ms
(* (* (* (* J J) J) (* (* (- (exp l) (exp (- l))) (- (exp l) (exp (- l)))) (- (exp l) (exp (- l))))) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))))
237.0ms
(* (* (* (* J (- (exp l) (exp (- l)))) (* J (- (exp l) (exp (- l))))) (* J (- (exp l) (exp (- l))))) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))))

prune1.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize73.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 1/3 l)
0.1b
(* l (* 1/3 l))
0.1b
(* (* J (+ (* l (+ (* l (* 1/3 l)) 2)) (* (pow l 5) 1/60))) (cos (/ K 2)))
0.1b
(* (pow l 5) 1/60)

rewrite8.4s

Algorithm
rewrite-expression-head
Rules
39×associate-*l*
38×add-sqr-sqrt
31×associate-*r*
25×*-un-lft-identity
21×add-exp-log
18×pow1 add-cbrt-cube
17×add-cube-cbrt
12×unswap-sqr
10×prod-exp
8×pow-prod-down cbrt-unprod
6×*-commutative
4×unpow-prod-down insert-posit16 distribute-lft-out add-log-exp
2×associate-*l/ associate-*r/ sqr-pow
1×pow-to-exp flip3-+ pow-exp flip-+
Calls
4 calls:
Slowest
8.3s
(* (* J (+ (* l (+ (* l (* 1/3 l)) 2)) (* (pow l 5) 1/60))) (cos (/ K 2)))
33.0ms
(* l (* 1/3 l))
19.0ms
(* (pow l 5) 1/60)
11.0ms
(* 1/3 l)

series367.0ms

Calls
4 calls:
Slowest
227.0ms
(* (* J (+ (* l (+ (* l (* 1/3 l)) 2)) (* (pow l 5) 1/60))) (cos (/ K 2)))
82.0ms
(* (pow l 5) 1/60)
41.0ms
(* l (* 1/3 l))
16.0ms
(* 1/3 l)

simplify7.7s

Calls
89 calls:
Slowest
706.0ms
(* (* (* (* J J) J) (* (* (+ (* l (+ (* l (* 1/3 l)) 2)) (* (pow l 5) 1/60)) (+ (* l (+ (* l (* 1/3 l)) 2)) (* (pow l 5) 1/60))) (+ (* l (+ (* l (* 1/3 l)) 2)) (* (pow l 5) 1/60)))) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))))
678.0ms
(* (* (* (* J (+ (* l (+ (* l (* 1/3 l)) 2)) (* (pow l 5) 1/60))) (* J (+ (* l (+ (* l (* 1/3 l)) 2)) (* (pow l 5) 1/60)))) (* J (+ (* l (+ (* l (* 1/3 l)) 2)) (* (pow l 5) 1/60)))) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))))
481.0ms
(* (sqrt J) (sqrt (+ (* l (+ (* l (* 1/3 l)) 2)) (* (pow l 5) 1/60))))
392.0ms
(* (* J (+ (* l (+ (* l (* 1/3 l)) 2)) (* (pow l 5) 1/60))) (cos (/ K 2)))
380.0ms
(* (* J (+ (* l (+ (* l (* 1/3 l)) 2)) (* (pow l 5) 1/60))) (cos (/ K 2)))

prune2.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

3.7b
(log (exp (* l (* 1/3 l))))
0.3b
(* 1/3 l)
0.1b
(* l (* 1/3 l))
0.1b
(* (* J (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))) (cos (/ K 2)))

rewrite18.4s

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt associate-*r*
38×associate-*l*
28×*-un-lft-identity
24×log-pow
22×exp-prod
20×add-cube-cbrt
17×pow1 add-exp-log
16×add-cbrt-cube
13×unswap-sqr
7×pow-prod-down prod-exp *-commutative cbrt-unprod
5×add-log-exp
4×insert-posit16 distribute-lft-out
3×log-prod
2×rem-log-exp associate-*l/ associate-*r/
1×flip3-+ exp-to-pow flip-+
Calls
4 calls:
Slowest
18.3s
(* (* J (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))) (cos (/ K 2)))
28.0ms
(log (exp (* l (* 1/3 l))))
23.0ms
(* l (* 1/3 l))
5.0ms
(* 1/3 l)

series309.0ms

Calls
4 calls:
Slowest
202.0ms
(* (* J (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))) (cos (/ K 2)))
46.0ms
(log (exp (* l (* 1/3 l))))
35.0ms
(* l (* 1/3 l))
25.0ms
(* 1/3 l)

simplify8.9s

Calls
93 calls:
Slowest
1.2s
(* (* (* (* J J) J) (* (* (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60)) (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))) (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60)))) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))))
754.0ms
(* (* (* (* J (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))) (* J (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60)))) (* J (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60)))) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))))
626.0ms
(* (* (* l l) l) (* (* (* 1/3 1/3) 1/3) (* (* l l) l)))
453.0ms
(* (* J (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))) (cos (/ K 2)))
408.0ms
(* (* J (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))) (cos (/ K 2)))

prune2.3s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize57.0ms

Local error

Found 4 expressions with local error:

3.7b
(log (exp (* l (* 1/3 l))))
0.3b
(* 1/3 l)
0.1b
(* l (* 1/3 l))
0.1b
(* (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60)) (cos (/ K 2)))

rewrite5.2s

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt associate-*r*
26×*-un-lft-identity associate-*l*
24×log-pow
22×exp-prod
18×add-cube-cbrt
14×pow1 add-exp-log
13×add-cbrt-cube
10×unswap-sqr
6×*-commutative
5×pow-prod-down prod-exp cbrt-unprod add-log-exp
4×insert-posit16 distribute-lft-out
3×log-prod
2×rem-log-exp associate-*l/
1×flip3-+ exp-to-pow flip-+
Calls
4 calls:
Slowest
5.1s
(* (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60)) (cos (/ K 2)))
31.0ms
(log (exp (* l (* 1/3 l))))
16.0ms
(* l (* 1/3 l))
11.0ms
(* 1/3 l)

series200.0ms

Calls
4 calls:
Slowest
103.0ms
(* (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60)) (cos (/ K 2)))
44.0ms
(* l (* 1/3 l))
32.0ms
(log (exp (* l (* 1/3 l))))
21.0ms
(* 1/3 l)

simplify5.0s

Calls
77 calls:
Slowest
614.0ms
(* (* (* (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60)) (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))) (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))) (* (* (cos (/ K 2)) (cos (/ K 2))) (cos (/ K 2))))
327.0ms
(+ (log (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))) (log (cos (/ K 2))))
317.0ms
(* (sqrt (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))) (sqrt (cos (/ K 2))))
311.0ms
(* (sqrt (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))) (sqrt (cos (/ K 2))))
306.0ms
(* (cbrt (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))) (cbrt (+ (* l (+ (log (exp (* l (* 1/3 l)))) 2)) (* (pow l 5) 1/60))))

prune2.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes454.0ms

Accuracy

0% (0.4b remaining)

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

bsearch5.0ms

end0.0ms

sample10.0s

Algorithm
intervals
Results
3.8s2662×body1280valid
2.3s2597×body640valid
1.6s8442×body80valid
1.5s1390×body320valid
293.0ms772×body160valid