Details

sample136.0ms

Algorithm

intervals

Results

116.0ms

711×

body

valid

simplify176.0ms

Calls

1 calls:

Slowest

175.0ms

(- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))) 1)

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize43.0ms

Local error

Found 4 expressions with local error:

0.8b	(* (* b b) (+ 3 a))
0.3b	(pow (+ (* a a) (* b b)) 2)
0.1b	(* (* a a) (- 1 a))
0.0b	(+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-exp-log`
8×	`add-cbrt-cube`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`associate-r` `add-log-exp`
4×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/` `insert-posit16`
3×	`unpow-prod-down`
2×	`associate-+r+` `sub-neg` `flip3-+` `associate-l` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+`
1×	`pow-to-exp` `+-commutative` `sum-log` `pow-pow` `flip3--` `pow-exp` `flip--` `unpow2`

Calls

4 calls:

Slowest

32.0ms	(+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))))
9.0ms	(* (* a a) (- 1 a))
8.0ms	(* (* b b) (+ 3 a))
6.0ms	(pow (+ (* a a) (* b b)) 2)

series166.0ms

Calls

4 calls:

Slowest

84.0ms	(+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))))
39.0ms	(* (* a a) (- 1 a))
24.0ms	(pow (+ (* a a) (* b b)) 2)
19.0ms	(* (* b b) (+ 3 a))

simplify3.1s

Calls

42 calls:

Slowest

409.0ms	(* (* (* (* a a) (* a a)) (* a a)) (* (* (- 1 a) (- 1 a)) (- 1 a)))
340.0ms	(* 4 (* (* b b) (+ 3 a)))
283.0ms	(* (* (* b b) (+ 3 a)) 4)
238.0ms	(- (+ (* 4 (pow a 2)) (* 12 (pow b 2))) (* 4 (pow a 3)))
190.0ms	(+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))

prune1.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.8b	(* (* b b) (+ 3 a))
0.2b	(* (* a b) (* a b))
0.1b	(* (* a a) (- 1 a))
0.0b	(+ (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))))

rewrite159.0ms

Algorithm

rewrite-expression-head

Rules

32×	`associate-*r/`
20×	`frac-add`
14×	`flip3-+` `flip-+`
13×	`pow1` `add-log-exp`
10×	`add-cbrt-cube` `add-exp-log`
7×	`associate-r`
6×	`add-sqr-sqrt` `sum-log` `*-un-lft-identity` `add-cube-cbrt`
5×	`flip3--` `flip--`
4×	`distribute-rgt-in` `distribute-lft-in` `insert-posit16`
3×	`associate-l` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod`
2×	`associate-+r+` `sub-neg`
1×	`pow2` `+-commutative` `associate-+l+` `pow-plus` `pow-prod-up`

Calls

4 calls:

Slowest

130.0ms	(+ (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))))
9.0ms	(* (* a a) (- 1 a))
9.0ms	(* (* b b) (+ 3 a))
8.0ms	(* (* a b) (* a b))

series145.0ms

Calls

4 calls:

Slowest

65.0ms	(+ (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))))
37.0ms	(* (* a a) (- 1 a))
22.0ms	(* (* b b) (+ 3 a))
20.0ms	(* (* a b) (* a b))

simplify9.1s

Calls

70 calls:

Slowest

640.0ms	(* (- (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (+ (* (* (* a a) (- 1 a)) (* (* a a) (- 1 a))) (- (* (* (* b b) (+ 3 a)) (* (* b b) (+ 3 a))) (* (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))))
612.0ms	(* (+ (* (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (+ (pow a 4) (* (* (* a b) (* a b)) 2))) (- (* (pow b 4) (pow b 4)) (* (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)))) (* (+ (* 1 1) (+ (* a a) (* 1 a))) (+ (* 3 3) (- (* a a) (* 3 a)))))
591.0ms	(+ (* (- (* (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (+ (pow a 4) (* (* (* a b) (* a b)) 2))) (* (pow b 4) (pow b 4))) (- (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))) (* (- (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (- (* (* (* a a) (- 1 a)) (* (* a a) (- 1 a))) (* (* (* b b) (+ 3 a)) (* (* b b) (+ 3 a)))))))
413.0ms	(* (* (* (* a a) (* a a)) (* a a)) (* (* (- 1 a) (- 1 a)) (- 1 a)))
372.0ms	(* (- (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* (+ (* 1 1) (+ (* a a) (* 1 a))) (+ (* 3 3) (- (* a a) (* 3 a)))))

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

9.4b	(cbrt (+ (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))))
9.4b	(cbrt (+ (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))))
9.4b	(cbrt (+ (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))))
0.8b	(* (* b b) (+ 3 a))

rewrite130.0ms

Algorithm

rewrite-expression-head

Rules

86×	`associate-*r/`
60×	`frac-add`
42×	`cbrt-div`
40×	`flip3-+` `flip-+`
12×	`flip3--` `flip--`
9×	`cbrt-prod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`pow1` `add-cbrt-cube` `add-exp-log`
4×	`insert-posit16` `add-log-exp`
3×	`pow1/3` `associate-r`
1×	`distribute-rgt-in` `distribute-lft-in` `associate-l` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod`

Calls

4 calls:

Slowest

48.0ms	(cbrt (+ (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))))
40.0ms	(cbrt (+ (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))))
35.0ms	(cbrt (+ (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))))
4.0ms	(* (* b b) (+ 3 a))

series413.0ms

Calls

4 calls:

Slowest

133.0ms	(cbrt (+ (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))))
130.0ms	(cbrt (+ (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))))
122.0ms	(cbrt (+ (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))))
28.0ms	(* (* b b) (+ 3 a))

simplify11.7s

Calls

73 calls:

Slowest

710.0ms	(cbrt (+ (pow (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) 3) (pow (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))) 3)))
704.0ms	(cbrt (+ (* (- (* (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (+ (pow a 4) (* (* (* a b) (* a b)) 2))) (* (pow b 4) (pow b 4))) (- (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))) (* (- (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (- (* (* (* a a) (- 1 a)) (* (* a a) (- 1 a))) (* (* (* b b) (+ 3 a)) (* (* b b) (+ 3 a))))))))
568.0ms	(cbrt (+ (* (- (* (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (+ (pow a 4) (* (* (* a b) (* a b)) 2))) (* (pow b 4) (pow b 4))) (- (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))) (* (- (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (- (* (* (* a a) (- 1 a)) (* (* a a) (- 1 a))) (* (* (* b b) (+ 3 a)) (* (* b b) (+ 3 a))))))))
529.0ms	(cbrt (+ (* (- (* (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (+ (pow a 4) (* (* (* a b) (* a b)) 2))) (* (pow b 4) (pow b 4))) (- (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))) (* (- (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (* 4 (- (* (* (* a a) (- 1 a)) (* (* a a) (- 1 a))) (* (* (* b b) (+ 3 a)) (* (* b b) (+ 3 a))))))))
362.0ms	(cbrt (- (* (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4)) (+ (+ (pow a 4) (* (* (* a b) (* a b)) 2)) (pow b 4))) (* (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))) (* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a)))))))

prune1.9s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

25.0b	(log (* (* a a) (- 1 a)))
2.5b	(exp (log (* (* a a) (- 1 a))))
0.8b	(* (* b b) (+ 3 a))
0.3b	(pow (+ (* a a) (* b b)) 2)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1`
10×	`add-exp-log`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`add-cbrt-cube` `associate-*r/`
5×	`exp-prod`
4×	`log-div` `log-pow` `insert-posit16` `add-log-exp`
3×	`unpow-prod-down` `associate-r` `pow-prod-down`
2×	`log-prod` `flip3--` `exp-diff` `rem-log-exp` `prod-exp` `flip--`
1×	`distribute-rgt-in` `pow-to-exp` `pow-pow` `distribute-lft-in` `flip3-+` `associate-l` `exp-sum` `pow-exp` `*-commutative` `cbrt-unprod` `flip-+` `unpow2` `rem-exp-log`

Calls

4 calls:

Slowest

8.0ms	(exp (log (* (* a a) (- 1 a))))
6.0ms	(log (* (* a a) (- 1 a)))
4.0ms	(* (* b b) (+ 3 a))
3.0ms	(pow (+ (* a a) (* b b)) 2)

series79.0ms

Calls

4 calls:

Slowest

22.0ms	(log (* (* a a) (- 1 a)))
21.0ms	(exp (log (* (* a a) (- 1 a))))
20.0ms	(pow (+ (* a a) (* b b)) 2)
17.0ms	(* (* b b) (+ 3 a))

simplify1.8s

Calls

41 calls:

Slowest

257.0ms	(- (log -1) (+ (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (* 3 (log (/ 1 a))))))
182.0ms	(- (+ (/ 1 a) (+ (* 1/2 (/ 1 (pow a 2))) (* 3 (log (/ -1 a))))))
135.0ms	(* (* (* (* b b) (* b b)) (* b b)) (* (* (+ 3 a) (+ 3 a)) (+ 3 a)))
125.0ms	(exp (log (* (* a a) (- (pow 1 3) (pow a 3)))))
100.0ms	(log (* (* a a) (- (pow 1 3) (pow a 3))))

prune729.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

regimes155.0ms

Accuracy

0% (0.0b remaining)

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

bsearch4.0ms

end0.0ms

sample3.3s

Algorithm

intervals

Results

3.0s

20624×

body

valid