Details

Time bar (total: 11.9s)

sample36.0ms

Algorithm
intervals
Results
20.0ms256×body80valid
7.0ms256×pre80true

simplify207.0ms

Calls
1 calls:
Slowest
207.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.6b

localize17.0ms

Local error

Found 2 expressions with local error:

19.6b
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
0.0b
(+ (* x x) (* y y))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/l/
7×add-cbrt-cube add-exp-log
5×flip3-+ flip-+
4×add-sqr-sqrt frac-times *-un-lft-identity add-cube-cbrt add-log-exp
3×associate-/r* times-frac flip3-- flip--
2×pow1 cbrt-undiv div-exp associate-*l/ associate-*r/ associate-/r/ insert-posit16
1×+-commutative clear-num sum-log frac-2neg prod-exp cbrt-unprod div-inv associate-/l*
Calls
2 calls:
Slowest
13.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
2.0ms
(+ (* x x) (* y y))

series46.0ms

Calls
2 calls:
Slowest
31.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
15.0ms
(+ (* x x) (* y y))

simplify3.0s

Calls
31 calls:
Slowest
438.0ms
(- (log (* (- x y) (+ x y))) (log (+ (* x x) (* y y))))
363.0ms
(* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))
352.0ms
(/ (* (* (* (- x y) (+ x y)) (* (- x y) (+ x y))) (* (- x y) (+ x y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
320.0ms
(/ (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ x y)) (+ x y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
201.0ms
(* (- (pow x 3) (pow y 3)) (- (* x x) (* y y)))

prune341.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.7b

localize22.0ms

Local error

Found 4 expressions with local error:

18.8b
(sqrt (+ (* x x) (* y y)))
18.8b
(sqrt (+ (* x x) (* y y)))
0.0b
(* (/ (- x y) (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))))
0.0b
(/ (- x y) (sqrt (+ (* x x) (* y y))))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
54×times-frac
49×add-sqr-sqrt
47×*-un-lft-identity add-cube-cbrt
36×sqrt-prod
24×associate-*r* associate-*l*
18×add-cbrt-cube add-exp-log
10×sqrt-div
6×pow1 associate-/r* associate-/r/
5×cbrt-undiv flip3-+ div-exp flip-+
4×prod-exp cbrt-unprod insert-posit16 add-log-exp
3×div-inv associate-/l*
2×rem-sqrt-square pow1/2 associate-/l/
1×frac-times clear-num frac-2neg flip3-- div-sub pow-prod-down associate-*l/ associate-*r/ *-commutative flip--
Calls
4 calls:
Slowest
14.0ms
(* (/ (- x y) (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))))
5.0ms
(/ (- x y) (sqrt (+ (* x x) (* y y))))
2.0ms
(sqrt (+ (* x x) (* y y)))
2.0ms
(sqrt (+ (* x x) (* y y)))

series141.0ms

Calls
4 calls:
Slowest
55.0ms
(* (/ (- x y) (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y)))))
47.0ms
(/ (- x y) (sqrt (+ (* x x) (* y y))))
20.0ms
(sqrt (+ (* x x) (* y y)))
19.0ms
(sqrt (+ (* x x) (* y y)))

simplify5.3s

Calls
135 calls:
Slowest
455.0ms
(* (/ (* (* (- x y) (- x y)) (- x y)) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))))
326.0ms
(* (* (* (/ (- x y) (sqrt (+ (* x x) (* y y)))) (/ (- x y) (sqrt (+ (* x x) (* y y))))) (/ (- x y) (sqrt (+ (* x x) (* y y))))) (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))))
320.0ms
(* (/ (* (* (- x y) (- x y)) (- x y)) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))) (* (* (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (/ (+ x y) (sqrt (+ (* x x) (* y y))))) (/ (+ x y) (sqrt (+ (* x x) (* y y))))))
226.0ms
(/ (- x y) (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))
207.0ms
(sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))

prune1.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.7b

localize1.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Calls
0 calls:
Slowest

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune4.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.7b

localize1.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Calls
0 calls:
Slowest

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune1.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.7b

regimes131.0ms

Accuracy

76.2% (4.6b remaining)

Error of 5.1b against oracle of 0.5b and baseline of 19.9b

bsearch166.0ms

end0.0ms

sample1.2s

Algorithm
intervals
Results
783.0ms8000×body80valid
321.0ms8000×pre80true