Details

Time bar (total: 34.0s)

sample101.0ms

Algorithm
intervals
Results
53.0ms67×body10240exit
23.0ms271×body80valid
7.0ms14×body640valid
2.0ms3×body1280valid
2.0ms5×body320valid
0.0ms3×body160valid

simplify32.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
32.0ms
(- (log (+ 1 (exp x))) (* x y))

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.2b

localize33.0ms

Local error

Found 3 expressions with local error:

1.3b
(log (+ 1 (exp x)))
0.0b
(- (log (+ 1 (exp x))) (* x y))
0.0b
(+ 1 (exp x))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
8×log-prod
6×add-log-exp
5×add-sqr-sqrt add-cube-cbrt
4×pow1 log-div associate--l+ add-exp-log
3×flip3-+ add-cbrt-cube flip-+ insert-posit16 distribute-lft-out
2×associate--l-
1×+-commutative sum-log sub-neg flip3-- diff-log rem-log-exp log-pow flip--
Counts
3 → 48
Calls
3 calls:
Slowest
10.0ms
(- (log (+ 1 (exp x))) (* x y))
5.0ms
(+ 1 (exp x))
4.0ms
(log (+ 1 (exp x)))

series144.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
72.0ms
(log (+ 1 (exp x)))
61.0ms
(- (log (+ 1 (exp x))) (* x y))
11.0ms
(+ 1 (exp x))

simplify808.0ms

Counts
25 → 57
Calls
25 calls:
Slowest
125.0ms
(log (+ (pow 1 3) (pow (exp x) 3)))
88.0ms
(+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
82.0ms
(/ (+ 1 (exp x)) (exp (* x y)))
78.0ms
(log (+ (pow 1 3) (pow (exp x) 3)))
59.0ms
(+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))

prune556.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.8b

localize54.0ms

Local error

Found 4 expressions with local error:

4.9b
(log (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
4.5b
(- (* (exp x) (exp x)) (* 1 (exp x)))
1.6b
(log (+ (exp (+ (+ x x) x)) 1))
0.0b
(- (log (+ (exp (+ (+ x x) x)) 1)) (+ (log (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (* x y)))

rewrite299.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
12×log-prod
9×add-sqr-sqrt
8×log-div add-log-exp
7×pow1 add-cube-cbrt
6×add-exp-log
4×flip3-+ add-cbrt-cube associate--l+ flip-+ insert-posit16
3×diff-log log-pow distribute-lft-out
2×associate--l- sub-neg flip3-- rem-log-exp associate-+l- flip-- distribute-lft-out-- associate--r-
1×sum-log distribute-rgt-out-- associate--r+ difference-of-squares
Counts
4 → 72
Calls
4 calls:
Slowest
160.0ms
(- (log (+ (exp (+ (+ x x) x)) 1)) (+ (log (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (* x y)))
93.0ms
(log (+ (exp (+ (+ x x) x)) 1))
31.0ms
(log (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
14.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))

series349.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
131.0ms
(- (log (+ (exp (+ (+ x x) x)) 1)) (+ (log (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (* x y)))
121.0ms
(log (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
67.0ms
(log (+ (exp (+ (+ x x) x)) 1))
30.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))

simplify6.5s

Counts
44 → 84
Calls
44 calls:
Slowest
579.0ms
(- (log (+ (* (* 1 1) (* 1 1)) (- (* (- (* (exp x) (exp x)) (* 1 (exp x))) (- (* (exp x) (exp x)) (* 1 (exp x)))) (* (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))) (* x y))
437.0ms
(log (- (* (* 1 1) (* 1 1)) (* (- (* (exp x) (exp x)) (* 1 (exp x))) (- (* (exp x) (exp x)) (* 1 (exp x))))))
362.0ms
(log (+ (pow (* 1 1) 3) (pow (- (* (exp x) (exp x)) (* 1 (exp x))) 3)))
358.0ms
(/ (+ (exp (+ (+ x x) x)) 1) (exp (+ (log (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (* x y))))
298.0ms
(log (+ (pow (exp (+ (+ x x) x)) 3) (pow 1 3)))

prune1.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.8b

localize91.0ms

Local error

Found 4 expressions with local error:

4.9b
(log (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
4.9b
(log (+ (* (exp (+ (+ x x) x)) (exp (+ (+ x x) x))) (- (* 1 1) (* (exp (+ (+ x x) x)) 1))))
4.5b
(- (* (exp x) (exp x)) (* 1 (exp x)))
3.5b
(- (* 1 1) (* (exp (+ (+ x x) x)) 1))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
8×add-log-exp
7×log-prod *-un-lft-identity
6×add-sqr-sqrt pow1 add-exp-log add-cube-cbrt
4×log-div add-cbrt-cube insert-posit16
2×sub-neg flip3-+ flip3-- distribute-rgt-out-- diff-log rem-log-exp log-pow flip-+ flip--
1×distribute-lft-out
Counts
4 → 59
Calls
4 calls:
Slowest
1.0s
(log (+ (* (exp (+ (+ x x) x)) (exp (+ (+ x x) x))) (- (* 1 1) (* (exp (+ (+ x x) x)) 1))))
226.0ms
(- (* 1 1) (* (exp (+ (+ x x) x)) 1))
58.0ms
(log (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
14.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))

series356.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
159.0ms
(log (+ (* (exp (+ (+ x x) x)) (exp (+ (+ x x) x))) (- (* 1 1) (* (exp (+ (+ x x) x)) 1))))
135.0ms
(log (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
36.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))
26.0ms
(- (* 1 1) (* (exp (+ (+ x x) x)) 1))

simplify6.1s

Counts
30 → 71
Calls
30 calls:
Slowest
589.0ms
(+ (* (exp (+ (+ x x) x)) (exp (+ (+ x x) x))) (- (* 1 1) (* (exp (+ (+ x x) x)) 1)))
546.0ms
(log (sqrt (+ (* (exp (+ (+ x x) x)) (exp (+ (+ x x) x))) (- (* 1 1) (* (exp (+ (+ x x) x)) 1)))))
533.0ms
(log (* (cbrt (+ (* (exp (+ (+ x x) x)) (exp (+ (+ x x) x))) (- (* 1 1) (* (exp (+ (+ x x) x)) 1)))) (cbrt (+ (* (exp (+ (+ x x) x)) (exp (+ (+ x x) x))) (- (* 1 1) (* (exp (+ (+ x x) x)) 1))))))
500.0ms
(log (+ (pow (* (exp (+ (+ x x) x)) (exp (+ (+ x x) x))) 3) (pow (- (* 1 1) (* (exp (+ (+ x x) x)) 1)) 3)))
491.0ms
(log (- (* (* 1 1) (* 1 1)) (* (- (* (exp x) (exp x)) (* 1 (exp x))) (- (* (exp x) (exp x)) (* 1 (exp x))))))

prune1.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.8b

localize113.0ms

Local error

Found 4 expressions with local error:

4.9b
(log (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
4.9b
(log (* (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))
4.5b
(- (* (exp x) (exp x)) (* 1 (exp x)))
4.5b
(- (* (exp x) (exp x)) (* 1 (exp x)))

rewrite180.0ms

Algorithm
rewrite-expression-head
Rules
14×cbrt-div
13×pow1
11×log-pow
10×log-div
8×log-prod add-exp-log add-log-exp
7×*-un-lft-identity flip3-+ pow1/3 flip-+
6×add-sqr-sqrt add-cube-cbrt
4×cbrt-prod frac-times add-cbrt-cube insert-posit16
3×rem-log-exp
2×sub-neg flip3-- distribute-rgt-out-- diff-log pow-prod-down associate-*l/ associate-*r/ pow-sqr pow-prod-up flip--
1×pow2 pow-plus prod-exp distribute-lft-out
Counts
4 → 76
Calls
4 calls:
Slowest
95.0ms
(log (* (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))
52.0ms
(log (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
18.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))
14.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))

series704.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
321.0ms
(log (* (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))
295.0ms
(log (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))
48.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))
39.0ms
(- (* (exp x) (exp x)) (* 1 (exp x)))

simplify7.4s

Counts
44 → 88
Calls
44 calls:
Slowest
479.0ms
(log (cbrt (+ (pow (* 1 1) 3) (pow (- (* (exp x) (exp x)) (* 1 (exp x))) 3))))
447.0ms
(log (* (cbrt (+ (pow (* 1 1) 3) (pow (- (* (exp x) (exp x)) (* 1 (exp x))) 3))) (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))
441.0ms
(log (* (cbrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) (cbrt (+ (pow (* 1 1) 3) (pow (- (* (exp x) (exp x)) (* 1 (exp x))) 3)))))
424.0ms
(log (* (cbrt (+ (pow (* 1 1) 3) (pow (- (* (exp x) (exp x)) (* 1 (exp x))) 3))) (cbrt (+ (pow (* 1 1) 3) (pow (- (* (exp x) (exp x)) (* 1 (exp x))) 3)))))
424.0ms
(log (* (cbrt (+ (pow (* 1 1) 3) (pow (- (* (exp x) (exp x)) (* 1 (exp x))) 3))) (cbrt (- (* (* 1 1) (* 1 1)) (* (- (* (exp x) (exp x)) (* 1 (exp x))) (- (* (exp x) (exp x)) (* 1 (exp x))))))))

prune1.8s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.8b

regimes107.0ms

Accuracy

0% (0.3b remaining)

Error of 0.6b against oracle of 0.3b and baseline of 0.6b

bsearch9.0ms

end0.0ms

sample4.2s

Algorithm
intervals
Results
2.7s2429×body10240exit
868.0ms8434×body80valid
167.0ms265×body640valid
110.0ms120×body1280valid
95.0ms191×body320valid
23.0ms104×body160valid