Details

Time bar (total: 26.5s)

sample140.0ms

Algorithm
intervals
Results
68.0ms102×body1280valid
30.0ms81×body640valid
18.0ms255×body80valid
10.0ms42×body320valid
3.0ms17×body160valid

simplify59.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
58.0ms
(/ (- (exp x) (exp (- x))) 2)

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 57.0b

localize23.0ms

Local error

Found 1 expressions with local error:

5.7b
(- (exp x) (exp (- x)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt *-un-lft-identity add-log-exp
1×pow1 sub-neg flip3-- add-cbrt-cube diff-log add-exp-log add-cube-cbrt insert-posit16 flip-- distribute-lft-out-- difference-of-squares
Counts
1 → 15
Calls
1 calls:
Slowest
13.0ms
(- (exp x) (exp (- x)))

series50.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
49.0ms
(- (exp x) (exp (- x)))

simplify465.0ms

Counts
7 → 18
Calls
7 calls:
Slowest
268.0ms
(+ (* 2 x) (+ (* 1/3 (pow x 3)) (* 1/60 (pow x 5))))
69.0ms
(- (exp x) (exp (* -1 x)))
44.0ms
(/ (exp (exp x)) (exp (exp (- x))))
29.0ms
(- (exp x) (exp (- x)))
22.0ms
(- (sqrt (exp x)) (sqrt (exp (- x))))

prune168.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 1/3 x)
0.1b
(* x (* 1/3 x))
0.1b
(* (pow x 5) 1/60)
0.0b
(* x (+ (* x (* 1/3 x)) 2))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
18×add-exp-log
16×associate-*l*
15×add-cbrt-cube
13×pow1
12×*-un-lft-identity add-cube-cbrt
10×associate-*r*
8×prod-exp
6×cbrt-unprod
5×pow-prod-down unswap-sqr
4×unpow-prod-down *-commutative insert-posit16 add-log-exp
2×associate-*r/ sqr-pow
1×distribute-rgt-in pow-to-exp distribute-lft-in flip3-+ pow-exp flip-+
Counts
4 → 87
Calls
4 calls:
Slowest
43.0ms
(* x (+ (* x (* 1/3 x)) 2))
21.0ms
(* (pow x 5) 1/60)
20.0ms
(* x (* 1/3 x))
6.0ms
(* 1/3 x)

series610.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
377.0ms
(* x (* 1/3 x))
138.0ms
(* x (+ (* x (* 1/3 x)) 2))
69.0ms
(* (pow x 5) 1/60)
26.0ms
(* 1/3 x)

simplify3.1s

Counts
61 → 99
Calls
61 calls:
Slowest
295.0ms
(+ (* (* x (* 1/3 x)) (* x (* 1/3 x))) (- (* 2 2) (* (* x (* 1/3 x)) 2)))
246.0ms
(* (* (* x x) x) (* (* (* 1/3 1/3) 1/3) (* (* x x) x)))
241.0ms
(* (* (* x x) x) (* (* (+ (* x (* 1/3 x)) 2) (+ (* x (* 1/3 x)) 2)) (+ (* x (* 1/3 x)) 2)))
238.0ms
(* (* (* (pow x 5) (pow x 5)) (pow x 5)) (* (* 1/60 1/60) 1/60))
228.0ms
(* (* (* x x) x) (* (* (* 1/3 x) (* 1/3 x)) (* 1/3 x)))

prune1.0s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 1/3 x)
0.1b
(* x (* 1/3 x))
0.1b
(* (* x (* 1/3 x)) x)
0.1b
(* (pow x 5) 1/60)

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log
22×add-cbrt-cube
20×pow1
18×add-sqr-sqrt
14×associate-*l*
13×prod-exp
11×*-un-lft-identity add-cube-cbrt cbrt-unprod
10×associate-*r* pow-prod-down
4×unpow-prod-down *-commutative insert-posit16 add-log-exp unswap-sqr
2×sqr-pow
1×pow-to-exp pow-exp
Counts
4 → 86
Calls
4 calls:
Slowest
45.0ms
(* (* x (* 1/3 x)) x)
22.0ms
(* x (* 1/3 x))
17.0ms
(* (pow x 5) 1/60)
6.0ms
(* 1/3 x)

series194.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
61.0ms
(* (pow x 5) 1/60)
56.0ms
(* (* x (* 1/3 x)) x)
48.0ms
(* x (* 1/3 x))
29.0ms
(* 1/3 x)

simplify3.8s

Counts
58 → 98
Calls
58 calls:
Slowest
585.0ms
(* (* (* (* x x) x) (* (* (* 1/3 x) (* 1/3 x)) (* 1/3 x))) (* (* x x) x))
564.0ms
(* (* (* (* x x) x) (* (* (* 1/3 1/3) 1/3) (* (* x x) x))) (* (* x x) x))
489.0ms
(* (* (* (* x (* 1/3 x)) (* x (* 1/3 x))) (* x (* 1/3 x))) (* (* x x) x))
297.0ms
(* (* (* x x) x) (* (* (* 1/3 x) (* 1/3 x)) (* 1/3 x)))
202.0ms
(* (* (* 1/3 1/3) 1/3) (* (* x x) x))

prune1.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize75.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt (+ (* x (* 1/3 x)) 2))
1.0b
(cbrt (+ (* x (* 1/3 x)) 2))
1.0b
(cbrt (+ (* x (* 1/3 x)) 2))
0.5b
(* x (* (cbrt (+ (* x (* 1/3 x)) 2)) (cbrt (+ (* x (* 1/3 x)) 2))))

rewrite241.0ms

Algorithm
rewrite-expression-head
Rules
18×cbrt-div
10×associate-*r/
9×cbrt-prod add-sqr-sqrt pow1 flip3-+ add-exp-log flip-+
8×*-un-lft-identity add-cube-cbrt
7×add-cbrt-cube
4×frac-times insert-posit16 add-log-exp
3×pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod
2×associate-*l/
1×associate-*r* *-commutative unswap-sqr
Counts
4 → 70
Calls
4 calls:
Slowest
182.0ms
(* x (* (cbrt (+ (* x (* 1/3 x)) 2)) (cbrt (+ (* x (* 1/3 x)) 2))))
20.0ms
(cbrt (+ (* x (* 1/3 x)) 2))
19.0ms
(cbrt (+ (* x (* 1/3 x)) 2))
18.0ms
(cbrt (+ (* x (* 1/3 x)) 2))

series784.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
244.0ms
(* x (* (cbrt (+ (* x (* 1/3 x)) 2)) (cbrt (+ (* x (* 1/3 x)) 2))))
181.0ms
(cbrt (+ (* x (* 1/3 x)) 2))
180.0ms
(cbrt (+ (* x (* 1/3 x)) 2))
179.0ms
(cbrt (+ (* x (* 1/3 x)) 2))

simplify7.8s

Counts
46 → 82
Calls
46 calls:
Slowest
444.0ms
(- (+ (* 4 (/ (exp (* 1/3 (- (log 1/9) (* 4 (log (/ 1 x)))))) x)) (* x (exp (* 1/3 (- (log 1/9) (* 4 (log (/ 1 x)))))))) (* 4 (/ (exp (* 1/3 (- (log 1/9) (* 4 (log (/ 1 x)))))) (pow x 3))))
441.0ms
(- (+ (* (exp (* 1/3 (- (log 1/9) (* 4 (log (/ -1 x)))))) x) (* 4 (/ (exp (* 1/3 (- (log 1/9) (* 4 (log (/ -1 x)))))) x))) (* 4 (/ (exp (* 1/3 (- (log 1/9) (* 4 (log (/ -1 x)))))) (pow x 3))))
438.0ms
(* (cbrt (+ (* (* x (* 1/3 x)) (* x (* 1/3 x))) (- (* 2 2) (* (* x (* 1/3 x)) 2)))) (cbrt (- (* x (* 1/3 x)) 2)))
366.0ms
(- (+ (* 1/18 (* (pow x 2) (pow 2 1/3))) (pow 2 1/3)) (* 1/324 (* (pow x 4) (pow 2 1/3))))
348.0ms
(- (+ (* 1/18 (* (pow x 2) (pow 2 1/3))) (pow 2 1/3)) (* 1/324 (* (pow x 4) (pow 2 1/3))))

prune957.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes122.0ms

Accuracy

0% (0.6b remaining)

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

bsearch5.0ms

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.8s3391×body1280valid
1.1s2548×body640valid
744.0ms8084×body80valid
314.0ms1220×body320valid
135.0ms569×body160valid